Results 221 to 230 of about 65,341 (232)

Binary decision diagrams for first-order predicate logic

The Journal of Logic and Algebraic Programming, 2003
Jan Friso Groote
exaly  

Game logic and its applications I

Studia Logica, 1996
Takashi Nagashima
exaly  

A completeness theorem for continuous predicate modal logic

Archive for Mathematical Logic, 2018
Stefano Baratella
exaly  

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM, 1976
exaly  

Comparison of first order predicate logic, fuzzy logic and non-monotonic logic as knowledge representation methodology

Expert Systems With Applications, 2004
exaly  

Efficient hypothetical reasoning system for predicate-logic knowledge base

Knowledge-Based Systems, 1993
exaly  

Extension of results to arbitrary formalisms of predicate logic, and applications to the formalization of the arithmetics of natural and real numbers

1987
openaire   +1 more source

Order-sorted logic programming with predicate hierarchy

Artificial Intelligence, 2004
exaly  

Predicate Logic with Anaphora

Studies in Linguistics and Philosophy, 2012
exaly  

A predicate-transition net model for parallel interpretation of logic programs

IEEE Transactions on Software Engineering, 1988
exaly