1027 search results - page 27 / 206 » Representing and Reasoning with Operational Semantics |
86
Voted
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
103
click to vote
COSIT
1997
Springer
15 years 4 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
101
Voted
AI
2002
Springer
15 years 13 days ago
2002
Springer
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...
118
Voted
DLOG
2006
15 years 1 months ago
2006
Fuzzy Description Logics have been proposed in the literature as a way to represent and reason with vague and imprecise knowledge. Their decidability, the empirically tractable an...
95
Voted
TPLP
2010
14 years 11 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...