Two-variable Logic with a Between Predicate.
Andreas KrebsKamal LodayaParitosh K. PandyaHoward StraubingPublished in: CoRR (2016)
Keyphrases
- modal logic
- data sets
- artificial intelligence
- computational properties
- classical logic
- logic programming
- first order logic
- multi valued
- horn clauses
- information systems
- objective function
- automated reasoning
- delay insensitive
- asynchronous circuits
- abductive reasoning
- set theory
- probabilistic logic
- knowledge representation
- probability distribution
- expert systems
- case study
- search engine
- neural network