3573 search results - page 127 / 715 » Reasoning about Codata |
183
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Ambient Intelligence is a research area that has gained a lot of attention in recent years. One of the most important issues for ambient intelligent systems is to perceive the envi...
177
click to vote
ESWS
2009
Springer
16 years 27 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
171
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...
163
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
161
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...