Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
tractable reasoning
tractable reasoning
2 papers
Explore in graph
Co-occurring keywords
· papers mentioning both
first-order logic
(2)
limited belief
(1)
decidable reasoning
(1)
propositional logic
(1)
belief revision
(1)
knowledge representation
(1)
logical reasoning
(1)
Papers
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief
IJCAI 2019
A Reasoning System for a First-Order Logic of Limited Belief
IJCAI 2017
<
1
>