Search results for "BDI Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Benoit Gaudou, Andreas Herzig, Dominique Longin	Logical formalization of social commitments: application to agent communication languages.	AAMAS	2009	DBLP DOI BibTeX RDF	modal logic, commitments, agent communication languages, grounding, speech act theory, BDI logic
2	Jeff Blee, David Billington, Guido Governatori, Abdul Sattar	Levels of Modalities for BDI Logic.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
2	Katsunori Oyama, Hojun Jaygarl, Jinchun Xia, Carl K. Chang, Atsushi Takeuchi, Hiroshi Fujimoto	A Human-Machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Ontology, Context Awareness, Human Intention, BDI Logic
2	Jeff Blee, David Billington, Abdul Sattar	Reasoning with Levels of Modalities in BDI Logic.	PRIMA	2007	DBLP DOI BibTeX RDF	Modal Logic, Belief Revision, BDI Agents, Nonmonotonic Logic
2	Rafael H. Bordini, Michael Fisher, Carmen Pardavila, Michael Wooldridge	Model checking agentspeak.	AAMAS	2003	DBLP DOI BibTeX RDF	AgentSpeak, BDI logic programming, model checking, spin
1	Lijun Wu, Kaile Su, Abdul Sattar, Qingliang Chen, Jinshu Su, Wei Wu	A complete first-order temporal BDI logic for forest multi-agent systems.	Knowl.-Based Syst.	2012	DBLP DOI BibTeX RDF
1	Jeff Blee, David Billington, Guido Governatori, Abdul Sattar	Levels of modality for BDI Logic.	J. Applied Logic	2011	DBLP DOI BibTeX RDF
1	Arvids Grabovskis, Janis Grundspenkis	Identification of Relations between BDI Logic and BDI Agents.	J. Riga Technical University	2011	DBLP DOI BibTeX RDF
1	Yu Pan, Cungen Cao, Yuefei Sui	A Formal System for Lies Based on Speech Acts in Multi-Agent Systems.	FOCI	2007	DBLP DOI BibTeX RDF
1	Carole Adam, Dominique Longin	Endowing Emotional Agents with Coping Strategies: From Emotions to Emotional Behaviour.	IVA	2007	DBLP DOI BibTeX RDF
1	Carole Adam, Benoit Gaudou, Andreas Herzig, Dominique Longin	OCC's Emotions: A Formalization in a BDI Logic.	AIMSA	2006	DBLP DOI BibTeX RDF
1	Barbara Dunin-Keplicz, Rineke Verbrugge	Awareness as a vital ingredient of teamwork.	AAMAS	2006	DBLP DOI BibTeX RDF	inter-personal awareness, intra-personal awareness, teamwork, group awareness, BDI logic
1	Nardine Osman, David Robertson, Christopher Walton	Run-time model checking of interaction and deontic models for multi-agent systems.	AAMAS	2006	DBLP DOI BibTeX RDF	deontic models, dynamic model checking, interaction models
1	Yibing Song, Yongtian Yang, Chuangang Zhu	Formalization of Capability for Command-Based Agent.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
1	Nardine Osman, David Robertson, Christopher Walton	Dynamic Model Checking for Multi-agent Systems.	DALT	2006	DBLP DOI BibTeX RDF
1	Bei Shui Liao, Hua-xin Huang, Ji Gao	An Extended BDI Agent with Policies and Contracts.	PRIMA	2006	DBLP DOI BibTeX RDF
1	Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi	BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems.	EUMAS	2005	DBLP BibTeX RDF
1	Mehdi Shajari, Ali A. Ghorbani	Agent-oriented Design for Network Survivability.	ISDA	2005	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Model Checking Rational Agents.	IEEE Intelligent Systems	2004	DBLP DOI BibTeX RDF
1	Naoyuki Nide, Shiro Takata	Deduction systems for BDI logics using sequent calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	sequent calculus, rational agents, BDI logic, deduction system
1	Mehdi Dastani, Leendert W. N. van der Torre	Specifying the Merging of Desires into Goals in the Context of Beliefs.	EurAsia-ICT	2002	DBLP DOI BibTeX RDF
1	Wayne Wobcke	Modelling PRS-Like Agents' Mental States.	PRICAI	2002	DBLP DOI BibTeX RDF
1	Guangwei Ma, Chunyi Shi	Modeling Social Agents in BDO Logic.	ICMAS	2000	DBLP DOI BibTeX RDF