190 search results - page 24 / 38 » An application of automated reasoning in natural language qu... |
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ļ...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
DLOG
2003
13 years 9 months ago
2003
The Semantic Web initiative deļ¬nes important challenges for knowledge representation and database systems. Recently, several standards for representation languages have been pro...
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
The semantics of process calculi has traditionally been speciļ¬ed by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...