4617 search results - page 737 / 924 » Automation of Diagrammatic Reasoning |
191
click to vote
ASP
2003
Springer
16 years 10 days ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
184
click to vote
ASP
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
229
click to vote
ASP
2003
Springer
16 years 10 days ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
203
click to vote
CSL
2003
Springer
16 years 10 days ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
215
click to vote
CSL
2003
Springer
16 years 10 days ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...