303 search results - page 24 / 61 » From Description Logic Provers to Knowledge Representation S... |
112
Voted
CONTEXT
2007
Springer
15 years 6 months ago
2007
Springer
This note describes a logical system based on concepts and contexts, whose aim is to serve as a representation language for meanings of natural language sentences. The logic is a t...
102
Voted
JOLLI
2007
15 years 10 days ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
97
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
137
Voted
PODS
2011
ACM
14 years 3 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...