Paraconsistency and word puzzles

DOI10.1017/S1471068416000326zbMath1379.68293arXiv1608.01338OpenAlexW2963895714MaRDI QIDQ4593052

Michael Kifer, Paul Fodor, Tiantian Gao

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1608.01338

zbMATH Keywords

paraconsistencycontrolled natural languageword puzzlesannotated predicate calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Natural language processing (68T50) Paraconsistent logics (03B53)

Related Items (2)

A general framework for preferences in answer set programming ⋮ On recent applications of paraconsistent logic: an exploratory literature review

Uses Software

• Smodels
• Potassco
• asprin

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning with inconsistency
• Paraconsistent logic programming
• On the theory of inconsistent formal systems
• The jobs puzzle: Taking on the challenge via controlled natural language processing

This page was built for publication: Paraconsistency and word puzzles