2500 search results - page 26 / 500 » Logical Semantics of Modularisation |
87
Voted
COMMA
2006
15 years 2 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...
104
click to vote
ECSQARU
2007
Springer
15 years 6 months ago
2007
Springer
Measuring inconsistency in knowledge bases has been recognized as an important problem in many research areas. Most of approaches proposed for measuring inconsistency are based on ...
96
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
124
Voted
CADE
2001
Springer
16 years 27 days ago
2001
Springer
140
click to vote
RR
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...