3032 search results - page 115 / 607 » Description Logic Rules |
DALT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
CADE
2008
Springer
14 years 10 days ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
ECAI
2008
Springer
14 years 3 days ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
ENTCS
2007
13 years 10 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...