3572 search results - page 27 / 715 » Nominal Logic Programming |
101
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
98
Voted
ENTCS
2007
15 years 11 days ago
2007
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
128
click to vote
CORR
1998
Springer
15 years 3 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 ...
132
click to vote
DALT
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We describe a model-checking based approach to verification of programs written in the agent programming language Dribble. We define a logic (an extension of the branch...