3773 search results - page 544 / 755 » Logical Reasoning |
191
click to vote
TABLEAUX
1995
Springer
15 years 9 months ago
1995
Springer
In constraint logic programming, proof procedures for Horn clauses are enhanced with an interface to efficient constraint solvers. In this paper we show how to incorporate constra...
166
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
198
click to vote
TABLEAUX
2009
Springer
16 years 21 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
179
Voted
FLAIRS
2008
15 years 8 months ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
156
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Argumentation theory has become an important topic in the field of AI. The basic idea is to construct arguments in favor and against a statement, to select the “acceptable” o...