Sciweavers

2253 search results - page 139 / 451
» The ComFoRT Reasoning Framework
Sort
View
ELP
1991
14 years 1 months ago
Natural Semantics and Some of Its Meta-Theory in Elf
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
Spiro Michaylov, Frank Pfenning
OWLED
2007
13 years 11 months ago
An Extension of DIG 2.0 for Handling Bulk Data
The research community has noted the need to retrieve the instance level of an ontology from bulk data stored in external data sources (e.g., a relational database), in order to de...
Diego Calvanese, Mariano Rodriguez-Muro
AAAI
2000
13 years 11 months ago
Agent Capabilities: Extending BDI Theory
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into one of these systems as a software en...
Lin Padgham, Patrick Lambrix
AIL
2004
103views more  AIL 2004»
13 years 10 months ago
Legal Ontologies in Knowledge Engineering and Information Management
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...
Joost Breuker, André Valente, Radboud Winke...
RR
2010
Springer
13 years 8 months ago
Defeasibility in Answer Set Programs via Argumentation Theories
Defeasible reasoning has been studied extensively in the last two decades and many different and dissimilar approaches are currently on the table. This multitude of ideas has made...
Hui Wan, Michael Kifer, Benjamin N. Grosof