546 search results - page 21 / 110 » Substructural Operational Semantics as Ordered Logic Program... |
109
click to vote
PPDP
2005
Springer
15 years 8 months ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
158
Voted
LANMR
2004
15 years 3 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
135
click to vote
LPNMR
1993
Springer
15 years 6 months ago
1993
Springer
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
218
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
129
Voted
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...