3776 search results - page 92 / 756 » Partition-Based Logical Reasoning |
136
Voted
RR
2009
Springer
15 years 9 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
129
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
106
click to vote
CLIMA
2007
15 years 4 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
141
Voted
JAR
2007
15 years 2 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
118
click to vote
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Those programs assert code...