5378 search results - page 351 / 1076 » Base Logics in Argumentation |
256
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
214
click to vote
WS
2008
ACM
15 years 7 months ago
2008
ACM
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
177
click to vote
APAL
2004
15 years 7 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...
169
click to vote
LOGCOM
2010
15 years 6 months ago
2010
This paper provides sound and complete logical systems for several fragments of English which go beyond syllogistic logic in that they use verbs as well as other limited syntactic...
208
click to vote
ENTCS
2010
15 years 5 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...