Search results for "epistemic logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic Epistemic Logic and Knowledge Puzzles.	ICCS	2007	DBLP DOI BibTeX RDF	multiagent systems, belief revision, epistemic logic, dynamic epistemic logic
3	Minghui Ma	Dynamic Epistemic Logic of Finite Identification.	LORI	2009	DBLP DOI BibTeX RDF	finite identification, learning theory, dynamic epistemic logic
3	Cédric Dégremont, Nina Gierasimczuk	Can Doxastic Agents Learn? On the Temporal Structure of Learning.	LORI	2009	DBLP DOI BibTeX RDF	Formal learning theory, doxastic epistemic logic, epistemic update, temporal logic, belief revision, dynamic epistemic logic
3	Joshua Sack	Temporal Languages for Epistemic Programs.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Public announcement logic, Games, Temporal logic, Modal logic, Epistemic logic, Dynamic epistemic logic
3	Alessio Lomuscio, Bozena Wozna	A temporal epistemic logic with a reset operation.	AAMAS	2007	DBLP DOI BibTeX RDF	decidability, epistemic logic, axiomatisation
3	Wiebe van der Hoek, Michael Wooldridge	Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.	Studia Logica	2003	DBLP DOI BibTeX RDF	Cooperation logic, model checking, game theory, epistemic logic
3	Barteld P. Kooi	Probabilistic Dynamic Epistemic Logic.	Journal of Logic, Language and Information	2003	DBLP DOI BibTeX RDF	higher order information, probability, updates, epistemic logic, dynamic logic
3	Guillermo Morales-Luna	Simple Epistemic Logic for Relational Database.	MICAI	2002	DBLP DOI BibTeX RDF	database design, privacy protection, Epistemic logic, statistical disclosure
2	Rohit Chadha, Stéphanie Delaune, Steve Kremer	Epistemic Logic for the Applied Pi Calculus.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
2	Cédric Dégremont, Olivier Roy	Agreement Theorems in Dynamic-Epistemic Logic.	LORI	2009	DBLP DOI BibTeX RDF
2	Valentin Goranko, Dmitry Shkatov	Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic.	LFCS	2009	DBLP DOI BibTeX RDF
2	Francesco Belardinelli, Alessio Lomuscio	First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.	WoLLIC	2009	DBLP DOI BibTeX RDF
2	Szabolcs Mikulás, Mark Reynolds, Tim French	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.	TIME	2009	DBLP DOI BibTeX RDF	temporal logic, epistemic logic, complete axiomatizations
2	Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu	A Data Symmetry Reduction Technique for Temporal-epistemic Logic.	ATVA	2009	DBLP DOI BibTeX RDF
2	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time.	AAMAS	2009	DBLP DOI BibTeX RDF	logics for multi-agent systems, decision procedures, tableaux
2	Cédric Dégremont, Olivier Roy	Agreement theorems in dynamic-epistemic logic.	TARK	2009	DBLP DOI BibTeX RDF
2	Davide Grossi, Fernando R. Velázquez-Quesada	Twelve Angry Men: A Study on the Fine-Grain of Announcements.	LORI	2009	DBLP DOI BibTeX RDF	interaction, awareness, inference, epistemic logic, deliberation, dynamic epistemic logic
2	Guido Vetere, Fabrizio Venditti, Alessandro Faraotti	Semantic Integration of Peer to Peer Systems: A Doxastic Approach.	ICSC	2008	DBLP DOI BibTeX RDF	doxastic logic, semantic web, peer to peer, information integration, epistemic logic
2	Alexandru Baltag, Sonja Smets	A Dynamic-Logical Perspective on Quantum Behavior.	Studia Logica	2008	DBLP DOI BibTeX RDF	Dynamic Quantum Logic, Philosophy of Quantum Information, Logical Dynamics, Dynamic Epistemic Logic
2	Francesco Belardinelli, Alessio Lomuscio	A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.	CLIMA	2007	DBLP DOI BibTeX RDF
2	Francesco Belardinelli, Alessio Lomuscio	A quantified epistemic logic for reasoning about multiagent systems.	AAMAS	2007	DBLP DOI BibTeX RDF	completeness, first-order logic, epistemic logic
2	Rafal Palczewski	Distributed Knowability and Fitch's Paradox.	Studia Logica	2007	DBLP DOI BibTeX RDF	knowability, Fitch’s paradox, anti-realism, group knowledge, modal epistemic logic
2	Satoru Suzuki	Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic.	JSAI	2006	DBLP DOI BibTeX RDF
2	Tanja Hötte, Thomas Müller	Towards an Epistemic Logic of Concepts.	ICCS	2006	DBLP DOI BibTeX RDF
2	Carsten Lutz	Complexity and succinctness of public announcement logic.	AAMAS	2006	DBLP DOI BibTeX RDF	public announcement, computational complexity, dynamic epistemic logic, logics for agent systems
2	Joost Vennekens, David Gilis, Marc Denecker	Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	auto-epistemic logic, logic programming, Modularity, default logic
2	Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds	Verification of Multi-agent Systems Via Bounded Model Checking.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
2	Kewen Wang, Yan Zhang	Nested Epistemic Logic Programs.	LPNMR	2005	DBLP DOI BibTeX RDF
2	Diego Calvanese	Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.	TABLEAUX	2005	DBLP DOI BibTeX RDF
2	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Dynamic epistemic logic with assignment.	AAMAS	2005	DBLP DOI BibTeX RDF	assignment, agent communication, dynamic epistemic logic
2	Sergei N. Artëmov, Elena Nogina	On epistemic logic with justification.	TARK	2005	DBLP DOI BibTeX RDF
2	Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
2	Flavio D. Garcia, Ichiro Hasuo, Wolter Pieters, Peter van Rossum	Provable anonymity.	FMSE	2005	DBLP DOI BibTeX RDF	privacy, formal methods, cryptography, anonymity, knowledge, epistemic logic, unlinkability, crowds, onion routing
2	Churn-Jung Liau	A modal logic framework for multi-agent belief fusion.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	belief fusion, multi-sources reasoning, multi-agent systems, belief revision, Epistemic logic, database merging
2	Churn-Jung Liau	Ordered Belief Fusion in Possibilistic Logic.	RSFDGrC	2005	DBLP DOI BibTeX RDF	Belief fusion, multi-agent systems, epistemic logic, possibilistic logic, database merging
2	Joseph S. Miller, Lawrence S. Moss	The Undecidability of Iterated Modal Relativization.	Studia Logica	2005	DBLP DOI BibTeX RDF	iterated relativization, modal logic, undecidability, Dynamic epistemic logic
2	Shahin Maghsoudi, Ian Watson	Epistemic Logic and Planning.	KES	2004	DBLP DOI BibTeX RDF
2	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi	Concurrent dynamic epistemic logic for MAS.	AAMAS	2003	DBLP DOI BibTeX RDF	concurrency, agent communication, dynamic epistemic logic
2	Churn-Jung Liau	Epistemic Logics for Information Fusion.	ECSQARU	2003	DBLP DOI BibTeX RDF	belief fusion, majority merging, general merging, multi-agent systems, belief revision, epistemic logic, arbitration, database merging
2	Vincent F. Hendricks	Active Agents.	Journal of Logic, Language and Information	2003	DBLP DOI BibTeX RDF	active agenthood, learning, epistemic logic, epistemology
2	Michael Wooldridge, Wiebe van der Hoek	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	COORDINATION	2002	DBLP DOI BibTeX RDF
2	Michael Wooldridge	Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.	KI	2002	DBLP DOI BibTeX RDF
2	Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang	A Logical Model for Privacy Protection.	ISC	2001	DBLP DOI BibTeX RDF	Privacy, Epistemic logic, Data table
2	Robert Demolombe, Maria del Pilar Pozos Parra	A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.	ISMIS	2000	DBLP BibTeX RDF
2	Churn-Jung Liau	Modal Reasoning and Rough Set Theory.	AIMSA	1998	DBLP DOI BibTeX RDF	Rough set, modal logic, epistemic logic
2	Hans Jürgen Ohlbach	New Ways for Developing Proof Theories for First-Order Multi Modal Logics.	CSL	1989	DBLP DOI BibTeX RDF	Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic
1	Simon Busard, Charles Pecheur	Rich Counter-Examples for Temporal-Epistemic Logic Model Checking	IWIGP	2012	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano	Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.	PAAMS (Special Sessions)	2012	DBLP DOI BibTeX RDF
1	Sophia Knight, Radu Mardare, Prakash Panangaden	Combining Epistemic Logic and Hennessy-Milner Logic.	Logic and Program Semantics	2012	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Wojciech Penczek	Symbolic Model Checking for Temporal-Epistemic Logic.	Logic Programs, Norms and Action	2012	DBLP DOI BibTeX RDF
1	Emiliano Lorini, Frédéric Moisan	An Epistemic Logic of Extensive Games.	Electr. Notes Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima	From Situation Calculus to Dynamic Epistemic Logic.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Francesco Belardinelli, Alessio Lomuscio	First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio	Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.	Fundam. Inform.	2011	DBLP DOI BibTeX RDF
1	Ron van der Meyden	Two Applications of Epistemic Logic in Computer Security.	Proof, Computation and Agency	2011	DBLP DOI BibTeX RDF
1	Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III	Schematic Validity in Dynamic Epistemic Logic: Decidability.	LORI	2011	DBLP DOI BibTeX RDF
1	Levan Uridia, Dirk Walther 0002	An Epistemic Logic with Hypotheses.	LORI	2011	DBLP DOI BibTeX RDF
1	I. Goriac	An Epistemic Logic Based Framework for Reasoning about Information Hiding.	ARES	2011	DBLP DOI BibTeX RDF
1	Cédric Dégremont, Benedikt Löwe, Andreas Witzel	The synchronicity of dynamic epistemic logic.	TARK	2011	DBLP DOI BibTeX RDF
1	Floor Sietsma, Jan van Eijck	Message passing in a dynamic epistemic logic setting.	TARK	2011	DBLP DOI BibTeX RDF
1	Ji Ruan, Michael Thielscher	The Epistemic Logic Behind the Game Description Language.	AAAI	2011	DBLP BibTeX RDF
1	Guillaume Aucher	An Internal Version of Epistemic Logic.	Studia Logica	2010	DBLP DOI BibTeX RDF
1	Bernardo Toninho, Luís Caires	A Spatial-Epistemic Logic for Reasoning about Security Protocols	SecCo	2010	DBLP DOI BibTeX RDF
1	Roman Kuznets	Self-Referential Justifications in Epistemic Logic.	Theory Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Wesley H. Holliday, Thomas F. Icard III	Moorean Phenomena in Epistemic Logic.	Advances in Modal Logic	2010	DBLP BibTeX RDF
1	Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández Quiroz	A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes.	Advances in Modal Logic	2010	DBLP BibTeX RDF
1	Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández Quiroz	Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of pi-Calculus Processes.	CLIMA	2010	DBLP DOI BibTeX RDF
1	Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu	Parallel Model Checking for Temporal Epistemic Logic.	ECAI	2010	DBLP DOI BibTeX RDF
1	Yoichi Hirai	An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh	An Algebraic Approach to Dynamic Epistemic Logic.	Description Logics	2010	DBLP BibTeX RDF
1	Xiaowei Huang, Cheng Luo, Ron van der Meyden	Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic.	MoChArt	2010	DBLP DOI BibTeX RDF
1	Guillaume Aucher	Characterizing Updates in Dynamic Epistemic Logic.	KR	2010	DBLP BibTeX RDF
1	Xiaowei Huang, Cheng Luo, Ron van der Meyden	Improved bounded model checking for a fair branching-time temporal epistemic logic.	AAMAS	2010	DBLP DOI BibTeX RDF
1	Fernando R. Velázquez-Quesada	Dynamic Epistemic Logic for Implicit and Explicit Beliefs.	MALLOW	2010	DBLP BibTeX RDF
1	Yan Zhang	Updating Epistemic Logic Programs.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
1	Mark Jago	Epistemic Logic for Rule-Based Agents.	Journal of Logic, Language and Information	2009	DBLP DOI BibTeX RDF
1	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time	CoRR	2009	DBLP BibTeX RDF
1	Valentin Goranko, Dmitry Shkatov	Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic	CoRR	2009	DBLP BibTeX RDF
1	Tomohiro Hoshi, Audrey Yap	Dynamic epistemic logic with branching temporal structures.	Synthese	2009	DBLP DOI BibTeX RDF
1	Giuseppe Primiero	An epistemic logic for becoming informed.	Synthese	2009	DBLP DOI BibTeX RDF
1	Joshua Sack	Extending probabilistic dynamic epistemic logic.	Synthese	2009	DBLP DOI BibTeX RDF
1	Nina Gierasimczuk	Bridging learning theory and dynamic epistemic logic.	Synthese	2009	DBLP DOI BibTeX RDF
1	Rajdeep Niyogi, Ramaswamy Ramanujam	An Epistemic Logic for Planning with Trials.	LORI	2009	DBLP DOI BibTeX RDF
1	Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu	A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.	IJCAI	2009	DBLP BibTeX RDF
1	Nina Gierasimczuk	Learning by Erasing in Dynamic Epistemic Logic.	LATA	2009	DBLP DOI BibTeX RDF
1	Xiaowei Huang, Ron van der Meyden	Model Checking Games for a Fair Branching-Time Temporal Epistemic Logic.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
1	Ji Ma, Mehmet A. Orgun, Abdul Sattar, Kamel Adi	Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.	Web Intelligence/IAT Workshops	2009	DBLP DOI BibTeX RDF
1	Xiangyu Luo, Zheng Tan, Rongsheng Dong	Automatic Verification of Composite Web Services Based on Temporal and Epistemic Logic.	WGEC	2009	DBLP DOI BibTeX RDF
1	Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo	Abstraction in model checking multi-agent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	model checking, abstraction, epistemic logic
1	Jonathan Ezekiel, Alessio Lomuscio	Combining fault injection and model checking to verify fault tolerance in multi-agent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	fault tolerance, model checking, fault injection, epistemic logic
1	Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robert Trypuz	Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.	KI	2009	DBLP DOI BibTeX RDF	multi-agent systems, knowledge representation, Prolog, dynamic epistemic logic
1	Bernhard Heinemann	Observational Effort and Formally Open Mappings.	WoLLIC	2009	DBLP DOI BibTeX RDF	topology and epistemic logic, subset spaces, open mappings, hybrid logic
1	Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi	Dynamic Update with Probabilities.	Studia Logica	2009	DBLP DOI BibTeX RDF	Jeffrey’s rule, probability, update, dynamic epistemic logic
1	Bryan Renne	Evidence elimination in multi-agent justification logic.	TARK	2009	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Hongyang Qu, Franco Raimondi	MCMAS: A Model Checker for the Verification of Multi-Agent Systems.	CAV	2009	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, Monika Solanki	Towards an Agent Based Approach for Verification of OWL-S Process Models.	ESWC	2009	DBLP DOI BibTeX RDF
1	Clare Dixon, Michael Fisher, Boris Konev	Taming the Complexity of Temporal Epistemic Reasoning.	FroCos	2009	DBLP DOI BibTeX RDF
1	Rajdeep Niyogi, Alfredo Milani	Modeling Agents' Knowledge in Collective Evolutionary Systems.	ICCSA	2009	DBLP DOI BibTeX RDF
1	Lilia Georgieva, Imran Zia	Knowledge Management in Digital Economy.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
1	Yun Bai	A Knowledge Based Formal Language for Securing Information Systems.	KES	2009	DBLP DOI BibTeX RDF	Logic Program, Modal Logic, Formal Language, System Security, Authorization Policy