10568 search results - page 335 / 2114 » Computer Intelligence and Formalization |
136
click to vote
AIMSA
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
120
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we show how to capture dialogue games in Defeasible Logic. We argue that Defeasible Logic is a natural candidate and general representation formalism to capture dialo...
128
click to vote
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
109
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
131
click to vote
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying many AI uncertainty for...