Counting in the Two Variable Guarded Logic with Transitivity.
Lidia TenderaPublished in: STACS (2005)
Keyphrases
- horn clauses
- logic programming
- modal logic
- fixed point
- automated reasoning
- query answering
- multi valued
- decision procedures
- database
- partially ordered sets
- first order logic
- deontic logic
- predicate logic
- sound and complete axiomatization
- linear logic
- truth values
- digital circuits
- logical framework
- information systems
- data sets