545 search results - page 40 / 109 » Recursive logic frames |
110
click to vote
IJAR
2007
14 years 11 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
113
click to vote
CLIMA
2006
15 years 23 days ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
107
click to vote
CADE
2000
Springer
15 years 3 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
124
click to vote
COMPASS
1994
15 years 3 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
126
click to vote
ENTCS
2007
14 years 11 months ago
2007
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...