173 search results - page 11 / 35 » Rationality and its Roles in Reasoning (Extended Abstract) |
101
click to vote
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper describes a new agent framework that fuses an HTN planner, through its underlying conceptual model, with the mental attitudes of the BDI agent architecture, thus exploi...
128
click to vote
E4MAS
2006
Springer
15 years 1 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
JAPLL
2010
14 years 8 months ago
2010
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
ICCBR
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper, we investigate two novel indexing schemes called DHS and D-HS+PSR(II) designed for use in case-based reasoning systems. D-HS is based on a matrix of cases ...