17054 search results - page 118 / 3411 » Logics of Dynamical Systems |
141
click to vote
DLOG
2004
15 years 6 months ago
2004
Sonic1 is the first prototype implementation of non-standard inferences for Description Logics that can be used via a graphical user interface. In addition to that our implementat...
138
click to vote
IJCAI
1993
15 years 6 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
156
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
135
click to vote
OWLED
2007
15 years 6 months ago
2007
Abstract. We describe a system in which Contextual Logic Programming is used as a mediator for knowledge modeled by ontologies. Our system provides the components required to behav...
165
click to vote
IJCAI
1997
15 years 6 months ago
1997
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...