1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.AI2017★ 1 cited
Exception-Based Knowledge Updates
Martin Slota, Joao Leite
Existing methods for dealing with knowledge updates differ greatly depending on the underlying knowledge representation formalism. When Classical Logic is used, updates are typical…
cs.AI2011
Back and Forth Between Rules and SE-Models (Extended Version)
Martin Slota, João Leite
Rules in logic programming encode information about mutual interdependencies between literals that is not captured by any of the commonly used semantics. This information becomes e…