3891 search results - page 579 / 779 » A logic for strategic reasoning |
COMMA
2008
13 years 11 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
DLOG
2006
13 years 11 months ago
2006
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
DLOG
2001
13 years 11 months ago
2001
For Description Logics with existential restrictions, the size of the least common subsumer (lcs) of concept descriptions may grow exponentially in the size of the input descripti...
AAAI
1993
13 years 11 months ago
1993
We present Episodic Logic (EL), a highly expressive knowledge representation well-adapted to general commonsense reasoning as well as the interpretive and inferential needs of nat...
ENTCS
2008
13 years 10 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...