838 search results - page 81 / 168 » From Natural Language to Formal Proof Goal |
174
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
203
click to vote
FLAIRS
2008
15 years 9 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
213
click to vote
AOSD
2008
ACM
15 years 8 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
183
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by peop...
209
click to vote
LICS
2006
IEEE
16 years 26 days ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...