conftrace_

logic programming

53 papers

Explore in graph

Also known as

LP

Co-occurring keywords · papers mentioning both

answer set programming (17) knowledge representation (12) automated reasoning (8) stable model (7) epistemic logic (6) large language model (5) non-monotonic reasoning (4) stable model semantics (4) formal semantics (3) logic reasoning (3)

Papers

On Computing World Views of Epistemic Logic Programs IJCAI 2017 Safe Inductions: An Algebraic Study IJCAI 2017 Swift Logic for Big Data and Knowledge Graphs IJCAI 2017