Sciweavers

3032 search results - page 192 / 607
» Description Logic Rules
Sort
View
130
Voted
ECAI
2000
Springer
15 years 5 months ago
A Family of Defeasible Reasoning Logics and its Implementation
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
Grigoris Antoniou, David Billington, Guido Governa...
95
Voted
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 17 days ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
97
Voted
DIGRA
2003
Springer
15 years 6 months ago
Exploration in computer games - a new starting point
Space, vast lands and dungeons… It is no coincidence that Space War and Adventure are among the best known of the first computer games. Both clearly appeal to the player’s cur...
Simon Egenfeldt-Nielsen
CSL
2006
Springer
15 years 4 months ago
Nonmonotonic Logics and Their Algebraic Foundations
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
Miroslaw Truszczynski
111
Voted
DLOG
1998
15 years 2 months ago
Combining Expression and Content in Domains for Dialog Managers
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
Bernd Ludwig, Günther Görz, Heinrich Nie...