951 citations
- University of KwaZulu-NatalZA26 papers
- University of the WitwatersrandZA21 papers
- Centre for High Performance ComputingZA16 papers
- National Institute for Theoretical PhysicsZA14 papers
- National Institute of Standards and TechnologyUS14 papers
- The University of SydneyAU13 papers
- Stellenbosch UniversityZA12 papers
- University of Cape TownZA10 papers
- Sapienza University of RomeIT8 papers
- University of Massachusetts AmherstUS8 papers
- African Institute for Mathematical SciencesZA7 papers
- Goddard Space Flight CenterUS7 papers
5 papers · 1 filter
A Polynomial Time Subsumption Algorithm for Nominal Safe under Rational Closure
Giovanni Casini, Umberto Straccia, Thomas Meyer
Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision proble…
Symbol Emergence in Cognitive Developmental Systems: a Survey
Tadahiro Taniguchi, Emre Ugur, Matej Hoffmann +8
Humans use signs, e.g., sentences in a spoken language, for communication and thought. Hence, symbol systems like language are crucial for our communication with other agents and a…
On Stochastic Belief Revision and Update and their Combination
Gavin Rens
I propose a framework for an agent to change its probabilistic beliefs when a new piece of propositional information is observed. Traditionally, belief change occurs by either…
Bayesian Policy Reuse
Benjamin Rosman, Majd Hawasly, Subramanian Ramamoorthy
A long-lived autonomous agent should be able to respond online to novel instances of tasks from a familiar domain. Acting online requires 'fast' responses, in terms of rapid conver…
On Action Theory Change
Ivan José Varzinczak
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other…