3440 search results - page 150 / 688 » Logics For Context-Free Languages |
208
Voted
FOIKS
2010
Springer
16 years 1 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...
172
click to vote
CCIA
2005
Springer
16 years 15 days 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...
218
Voted
CORR
1998
Springer
15 years 6 months 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 ...
202
Voted
SYNTHESE
2008
15 years 6 months 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...
193
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
CLF (Concurrent LF) [CPWW02a] is a logical framework for specifying and implementing deductive and concurrent systems from areas, such as programming language theory, security prot...