Gerhard Lakemeyer

According to our database1, Gerhard Lakemeyer
  • authored at least 172 papers between 1986 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems.
KI, 2017

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
CoRR, 2017

Belief revision and projection in the epistemic situation calculus.
Artif. Intell., 2017

An iStar 2.0 Editor Based on the Eclipse Modelling Framework.
Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), 2017

On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016
Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and Simulation.
IEEE Trans. Comput. Intellig. and AI in Games, 2016

Sensor fusion in the epistemic situation calculus.
J. Exp. Theor. Artif. Intell., 2016

International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Improvements for a Robust Production in the RoboCup Logistics League 2016.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Robust Multi-modal Detection of Industrial Signal Light Towers.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016

Decidable Reasoning in a Logic of Limited Belief with Function Symbols.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Interruptible Task Execution with Resumption in Golog.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Continual Planning in Golog.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A First-Order Logic of Probability and Only Knowing in Unbounded Domains.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling.
Computers, Environment and Urban Systems, 2015

Semantical considerations on multiagent only knowing.
Artif. Intell., 2015

Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015

The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Only Knowing Meets Common Knowledge.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Video Conference Tool Robot ViCToR.
Proceedings of the Intelligent Robotics and Applications - 8th International Conference, 2015

A Logic for Reasoning About Decision-Theoretic Projections.
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015

A Modal Logic for the Decision-Theoretic Projection Problem.
Proceedings of the ICAART 2015, 2015

Projection in the Epistemic Situation Calculus with Belief Conditionals.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Towards Robust Task Execution for Domestic Service Robots.
Journal of Intelligent and Robotic Systems, 2014

Side peak suppression in responses of an across-frequency integration model to stimuli of varying bandwidth as demonstrated analytically and by implementation.
Journal of Computational Neuroscience, 2014

SLAP: Specification logic of actions with probability.
J. Applied Logic, 2014

Multiagent Only Knowing in Dynamic Systems.
J. Artif. Intell. Res., 2014

Planning with epistemic goals (Dagstuhl Seminar 14032).
Dagstuhl Reports, 2014

Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014

Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

On the Progression of Knowledge in Multiagent Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Towards Using i* for Modeling Mega-Urban Processes.
Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014

A Logic for Specifying Stochastic Actions and Observations.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

A Semantic Account of Iterated Belief Revision in the Situation Calculus.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Towards Robust Task Execution for Domestic Service Robots.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
A Rational and Efficient Algorithm for View Revision in Databases
CoRR, 2013

First competition section paper published.
Artif. Intell., 2013

RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013

Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013

Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios.
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Proceedings of the IJCAI 2013, 2013

Simulation-based approach for avoiding external faults.
Proceedings of the 16th International Conference on Advanced Robotics, 2013

Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario.
Proceedings of the Designing Intelligent Robots: Reintegrating AI II, 2013

Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics.
Proceedings of the Designing Intelligent Robots: Reintegrating AI II, 2013

2012
Platas - Integrating Planning and the Action Language Golog.
KI, 2012

Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus.
Journal of Intelligent and Robotic Systems, 2012

Caesar: an intelligent domestic service robot.
Intelligent Service Robotics, 2012

Reinforcement learning for Golog programs with first-order state-abstraction.
Logic Journal of the IGPL, 2012

A Logic for Specifying Agent Actions and Observations with Probability.
Proceedings of the STAIRS 2012, 2012

Only-Knowing Meets Nonmonotonic Modal Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Plan Recognition by Program Execution in Continuous Temporal Domains.
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

A generic robot database and its application in fault analysis and performance evaluation.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Flexible Command Interpretation on an Interactive Domestic Service Robot.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Natural Language Interpretation for an Interactive Service Robot in Domestic Domains.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

Efficient Reasoning in Multiagent Epistemic Logics.
Proceedings of the ECAI 2012, 2012

Representing Value Functions with Recurrent Binary Decision Diagrams.
Proceedings of the ECAI 2012, 2012

Multi-agent Only-Knowing.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

The Truth about Defaults.
Proceedings of the Correct Reasoning, 2012

2011
A semantic characterization of a useful fragment of the situation calculus with knowledge.
Artif. Intell., 2011

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.
Proceedings of the IJCAI 2011, 2011

Fuzzy Representations and Control for Domestic Service Robots in Golog.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011

A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011

A Semantical Account of Progression in the Presence of Uncertainty.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
The Situation Calculus: A Case for Modal Logic.
Journal of Logic, Language and Information, 2010

Multi-Agent Only-Knowing Revisited
CoRR, 2010

Design Principles of the Component-Based Robot Software Framework Fawkes.
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010

Multi-Agent Only-Knowing Revisited.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
Proceedings of the ECAI 2010, 2010

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Cognitive Robotics.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

10081 Abstracts Collection - Cognitive Robotics.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Self-Maintenance for Autonomous Robots in the Situation Calculus.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010

Analyzing Agent-Based Simulations of Inter-organizational Networks.
Proceedings of the Agents and Data Mining Interaction, 2010

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao.
Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009

Robust Collision Avoidance in Unknown Domestic Environments.
Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009

On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
Proceedings of the IJCAI 2009, 2009

A Semantical Account of Progression in the Presence of Defaults.
Proceedings of the IJCAI 2009, 2009

Embedding fuzzy controllers in golog.
Proceedings of the FUZZ-IEEE 2009, 2009

A Semantical Account of Progression in the Presence of Defaults.
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009

2008
Cognitive Robotics.
Proceedings of the Handbook of Knowledge Representation, 2008

Logic-based robot control in highly dynamic domains.
Robotics and Autonomous Systems, 2008

On the Expressiveness of Levesque's Normal Form.
J. Artif. Intell. Res., 2008

A Robust Speech Recognition System for Service-Robotics Applications.
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008

Landmark-Based Representations for Navigating Holonomic Soccer Robots.
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008

First-Order Strong Progression for Local-Effect Basic Action Theories.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

A Logic for Non-Terminating Golog Programs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Repairing Decision-Theoretic Policies Using Goal-Oriented Planning.
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Continuous, Requirements-Driven Support for Organizations, Networks, and Communities.
Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008

A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.
Proceedings of the Intelligent Robotics and Applications, First International Conference, 2008

Modelling Actor Evolution in Agent-Based Simulations.
Proceedings of the Organized Adaption in Multi-Agent Systems, 2008

2007
A Simulation Environment for Middle-Size Robots with Multi-level Abstraction.
Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007

Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Towards an Integration of Golog and Planning.
Proceedings of the IJCAI 2007, 2007

Combining Sound Localization and Laser-based Object Recognition.
Proceedings of the Multidisciplinary Collaboration for Socially Assistive Robotics, 2007

ESP: A Logic of Only-Knowing, Noisy Sensing and Acting.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Foundations for Knowledge-Based Programs using ES.
Proceedings of the Proceedings, 2006

Comparing Three Formal Analysis Approaches of the Tropos Family.
Proceedings of the Agent-Oriented Information Systems IV, 2006

Towards an Axiom System for Default Logic.
Proceedings of the Proceedings, 2006

2005
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
KI, 2005

Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks.
Inf. Syst., 2005

Laser-Based Localization with Sparse Landmarks.
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005

Comparing Sensor Fusion Techniques for Ball Position Estimation.
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005

Distributed Multi-robot Localization Based on Mutual Path Detection.
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005

Semantics for a useful fragment of the situation calculus.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG.
Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, 2005

Only-Knowing: Taking It Beyond Autoepistemic Reasoning.
Proceedings of the Proceedings, 2005

2004
Towards a League-Independent Qualitative Soccer Theory for RoboCup.
Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004

Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

A Logic of Limited Belief for Reasoning with Disjunctive Information.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Situations, Si! Situation Terms, No!
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On-Line Decision-Theoretic Golog for Unpredictable Domains.
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

SNet Reloaded: Roles, Monitoring and Agent Evolution.
Proceedings of the Agent-Oriented Information Systems II, 2004

2003
Continuous requirements management for organisation networks: a (dis)trust-based approach.
Requir. Eng., 2003

ccGolog -- A Logical Language Dealing with Continuous Change.
Logic Journal of the IGPL, 2003

Probabilistic Complex Actions in GOLOG.
Fundam. Inform., 2003

The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002).
AI Magazine, 2003

What Observations Really Tell Us.
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

An Autonomous Real-Time Camera Agent for Interactive Narratives and Games.
Proceedings of the Intelligent Agents, 4th International Workshop, 2003

Extending DTGOLOG with Options.
Proceedings of the IJCAI-03, 2003

Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

2002
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002

2001
Multi-agent Only Knowing.
J. Log. Comput., 2001

Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach.
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Belief Update in the pGOLOG Framework.
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

On-Line Execution of cc-Golog Plans.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework.
KI, 2000

cc-Golog: Towards More Realistic Logic-Based Robot Controllers
CoRR, 2000

Multi-Agent Only Knowing
CoRR, 2000

Turning High-Level Plans into Robot Programs in Uncertain Domains.
Proceedings of the ECAI 2000, 2000

Querying AOL Knowledge Bases.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

cc-Golog: Towards More Realistic Logic-Based Robot Controllers.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

The logic of knowledge bases.
MIT Press, ISBN: 978-0-262-12232-0, 2000

1999
Experiences with an Interactive Museum Tour-Guide Robot.
Artif. Intell., 1999

Query Evaluation and Progression in AOL Knowledge Bases.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998

The Museum Tour-Guide Robot RHINO.
Proceedings of the Autonome Mobile Systeme 1998, 14. Fachgespräch, Karlsruhe, 30. November, 1998

The Interactive Museum Tour-Guide Robot.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Relevance from an Epistemic Perspective.
Artif. Intell., 1997

1996
Limited Reasoning in First-Order Knowledge Bases with Full Introspection.
Artif. Intell., 1996

Multi-Agent Only Knowing.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

Only Knowing in the Situation Calculus.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Belief Revision in a Nonclassical Logic.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

1995
Ist die Wissensrepräsentation tot?
KI, 1995

Levesque's Axiomatization of only Knowing is Incomplete.
Artif. Intell., 1995

A Logical Account of Relevance.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Limited Reasoning in First-Order Knowledge Bases.
Artif. Intell., 1994

Enhancing the Power of a Decidable First-Order Reasoner.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Epistemic Queries in Classic.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993
All They Know: A Study in Multi-Agent Autoepistemic Reasoning.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

All They Know About.
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992
On perfect introspection with Quantifying-in.
Fundam. Inform., 1992

On Perfect Introspection With Quantifying-in.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992

All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Foundations of Knowledge Representation and Reasoning.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
All I Know About Tweety.
Proceedings of the Nonmonotonic and Inductive Logic, 1991

On the Relation between Explicit and Implicit Belief.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

A Model of Decidable Introspective Reasoning with Quantifying-In.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
A Computationally Attractive First-Order Logic of Belief.
Proceedings of the Logics in AI, European Workshop, 1990

Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection.
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, July 29, 1990

1988
A Tractable Knowledge Representation Service with Full Introspection.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1987
Tractable Meta-Reasoning in Propositional Logics of Belief.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986
Steps Towards a First-Order Logic of Explicit and Implicit Belief.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986


  Loading...