Sciweavers

9145 search results - page 37 / 1829
» Description Logic Systems
Sort
View
AAAI
2010
15 years 1 months ago
A General Game Description Language for Incomplete Information Games
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
Michael Thielscher
118
Voted
DLOG
2008
15 years 2 months ago
Paraconsistent Reasoning for Expressive and Tractable Description Logics
Abstract. Four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases, mainly ALC. This approach has a distinct advantage th...
Yue Ma, Pascal Hitzler, Zuoquan Lin
96
Voted
DLOG
2006
15 years 1 months ago
Euclidian Roles in Description Logics
In the current paper we investigate the role of Euclidian roles in Description Logics.
Giorgos Stoilos, Giorgos B. Stamou
108
Voted
AGENTS
2001
Springer
15 years 5 months ago
Automated negotiation from declarative contract descriptions
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
Daniel M. Reeves, Michael P. Wellman, Benjamin N. ...
121
Voted
GPC
2010
Springer
15 years 7 months ago
Distributed Island-Based Query Answering for Expressive Ontologies
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
Sebastian Wandelt, Ralf Möller