3319 search results - page 136 / 664 » Subshifts, Languages and Logic |
91
Voted
JSW
2008
15 years 21 days ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
133
click to vote
FOIKS
2010
Springer
15 years 7 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
93
Voted
CCIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
129
click to vote
CORR
1998
Springer
15 years 13 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
123
click to vote
SYNTHESE
2008
15 years 19 days ago
2008
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...