First -Order Syntactic Characterizations of Minimal Entailment, Domain-Minimal Entailment, and Herbrand Entailment.
Marek A. SuchenekPublished in: J. Autom. Reason. (1993)
Keyphrases
- logic programming
- recognizing textual entailment
- probabilistic logic
- textual entailment
- np complete
- lexico syntactic
- logic programs
- natural language
- first order logic
- programming language
- data sets
- higher order
- monotonicity constraints
- domain specific
- domain ontology
- inductive logic programming
- knowledge base
- neural network