Search results for "temporal epistemic logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
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	Alessio Lomuscio, Bozena Wozna	A temporal epistemic logic with a reset operation.	AAMAS	2007	DBLP DOI BibTeX RDF	decidability, epistemic logic, axiomatisation
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	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	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
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
1	Simon Busard, Charles Pecheur	Rich Counter-Examples for Temporal-Epistemic Logic Model Checking	IWIGP	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	Francesco Belardinelli, Andrew V. Jones, Alessio Lomuscio	Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.	Fundam. Inform.	2011	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	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	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	Valentin Goranko, Dmitry Shkatov	Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time	CoRR	2009	DBLP BibTeX RDF
1	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
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	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	Alessio Lomuscio, Monika Solanki	Towards an Agent Based Approach for Verification of OWL-S Process Models.	ESWC	2009	DBLP DOI BibTeX RDF
1	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
1	Alessio Lomuscio, Wojciech Penczek, Hongyang Qu	Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic.	MoChArt	2008	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Tim French	Simulation and Information: Quantifying over Epistemic Events.	KRAMAS	2008	DBLP DOI BibTeX RDF	Bisimulation quantifier, temporal epistemic logic, multi-agent system, modal logic
1	Alessio Lomuscio, Hongyang Qu, Monika Solanki	Towards Verifying Contract Regulated Service Composition.	ICWS	2008	DBLP DOI BibTeX RDF
1	Riccardo Pucella	Introduction.	SIGACT News	2007	DBLP DOI BibTeX RDF
1	Andreas Herzig, Nicolas Troquard	Knowing how to play: uniform choices in logics of agency.	AAMAS	2006	DBLP DOI BibTeX RDF	modal logic, logics for agent systems, formal models of agency
1	Zining Cao	Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems.	CLIMA	2006	DBLP DOI BibTeX RDF
1	Xianwei Lai, Shanli Hu, Zhengyuan Ning	Reasoning about Actions, Knowledge and Normative Ability.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	cooperation logic, multi-agent systems, knowledge, actions, ATL
1	Charles Pecheur, Franco Raimondi	Symbolic Model Checking of Logics with Actions.	MoChArt	2006	DBLP DOI BibTeX RDF
1	Suguru Yoshioka, Satoshi Tojo	C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel.	WEC	2005	DBLP BibTeX RDF
1	Wiebe van der Hoek, Mark Roberts, Michael Wooldridge	Knowledge and social laws.	AAMAS	2005	DBLP DOI BibTeX RDF	alternating-time temporal epistemic logic, social laws, knowledge
1	Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek	From Bounded to Unbounded Model Checking for Temporal Epistemic Logic.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Wiebe van der Hoek, Michael Wooldridge	Tractable multiagent planning for epistemic goals.	AAMAS	2002	DBLP DOI BibTeX RDF	epistemic & temporal logic, model checking, planning
1	Joeri Engelfriet, Jan Treur	An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.	Journal of Logic, Language and Information	1998	DBLP DOI BibTeX RDF
1	Joeri Engelfriet	Minimal Temporal Epistemic Logic.	Notre Dame Journal of Formal Logic	1996	DBLP BibTeX RDF