Search results for "AgentSpeak"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001	Belief revision for AgentSpeak agents.	AAMAS	2006	DBLP DOI BibTeX RDF	AgentSpeak, Jason, belief revision, BDI
98	Yang Bo, Qin Zheng, Yu Fan, Qin Jun	The Soundness and Completeness Proof of Agent Intention in AgentSpeak.	Web Intelligence	2007	DBLP DOI BibTeX RDF
98	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Plan patterns for declarative goals in AgentSpeak.	AAMAS	2006	DBLP DOI BibTeX RDF
98	Rafael H. Bordini, Ana L. C. Bazzan, Rafael de Oliveira Jannone, Daniel M. Basso, Rosa Maria Vicari, Victor R. Lesser	AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling.	AAMAS	2002	DBLP DOI BibTeX RDF	BDI programming languages, decision-theoretic scheduling, intention selection
98	Rodrigo Machado, Rafael H. Bordini	Running AgentSpeak(L) Agents on SIM_AGENT.	ATAL	2001	DBLP DOI BibTeX RDF
98	Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	A Formal Embedding of AgentSpeak(L) in 3APL.	Australian Joint Conference on Artificial Intelligence	1998	DBLP DOI BibTeX RDF
89	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Model Checking Rational Agents.	IEEE Intell. Syst.	2004	DBLP DOI BibTeX RDF
89	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifiable Multi-agent Programs.	PROMAS	2003	DBLP DOI BibTeX RDF
89	Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini	Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange.	AAMAS	2004	DBLP DOI BibTeX RDF
80	Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001	Automating Belief Revision for AgentSpeak.	DALT	2006	DBLP DOI BibTeX RDF
80	Aniruddha Dasgupta, Aditya K. Ghose	CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L).	ACSC	2006	DBLP BibTeX RDF
72	Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini	Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication.	DALT	2003	DBLP DOI BibTeX RDF
62	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning.	MICAI	2008	DBLP DOI BibTeX RDF
62	Michael Winikoff	An AgentSpeak Meta-interpreter and Its Applications.	PROMAS	2005	DBLP DOI BibTeX RDF
62	Rafael H. Bordini, Jomi Fred Hübner	BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper).	CLIMA	2005	DBLP DOI BibTeX RDF
57	Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Michael J. Wooldridge	Model checking agentspeak.	AAMAS	2003	DBLP DOI BibTeX RDF	AgentSpeak, BDI logic programming, model checking, spin
54	Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge	Programming Declarative Goals Using Plan Patterns.	DALT	2006	DBLP DOI BibTeX RDF
54	Rafael H. Bordini, Álvaro F. Moreira	Proving BDI Properties of Agent-Oriented Programming Languages.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	asymmetry thesis principles, distributed artificial intelligence, structural operational semantics, agent-oriented programming, BDI logics
53	Alessandro Ricci, Rafael Heitor Bordini, Jomi Fred Hübner, Rem W. Collier	AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals.	AAMAS	2018	DBLP BibTeX RDF
53	Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci	CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services.	Web Intell. Agent Syst.	2014	DBLP DOI BibTeX RDF
53	Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci	CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services.	IAT	2011	DBLP DOI BibTeX RDF
49	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	Verifying Multi-agent Programs by Model Checking.	Auton. Agents Multi Agent Syst.	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
44	Felipe Rech Meneguzzi, Michael Luck	Leveraging New Plans in AgentSpeak(PL).	DALT	2008	DBLP DOI BibTeX RDF
44	Huan Li, Zheng Qin, Fan Yu, Jun Qin, Bo Yang	Automatic Semantic Web Service Composition via Agent Intention Execution in AgentSpeak.	Web Intelligence	2007	DBLP DOI BibTeX RDF
44	Talal Rahwan, Tarek Rahwan, Iyad Rahwan, Ronald Ashri	Agent-Based Support for Mobile Users Using AgentSpeak(L).	AOIS	2003	DBLP DOI BibTeX RDF
36	Tristan M. Behrens, Jürgen Dix	Model checking multi-agent systems with logic based Petri nets.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27
36	Louise A. Dennis, Michael Fisher 0001, Anthony Hepple	Language Constructs for Multi-agent Programming.	CLIMA	2007	DBLP DOI BibTeX RDF
36	Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner	Agent-Oriented Programming with Underlying Ontological Reasoning.	DALT	2005	DBLP DOI BibTeX RDF
36	Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge	State-Space Reduction Techniques in Agent Verification.	AAMAS	2004	DBLP DOI BibTeX RDF
26	Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril	Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings.	ICAART (1)	2023	DBLP DOI BibTeX RDF
26	Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber	Qualitative Uncertainty Reasoning in AgentSpeak.	EUMAS	2023	DBLP DOI BibTeX RDF
26	Michael J. Vezina, François Schwarzentruber, Babak Esfandiari, Sandra Morley	Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic.	AAMAS	2023	DBLP BibTeX RDF
26	Joaquín Taverner, Emilio Vivancos, Vicente J. Botti	e-Genia3 An AgentSpeak extension for empathic agents.	CoRR	2022	DBLP DOI BibTeX RDF
26	Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril	Late Bindings in AgentSpeak(L).	ICAART (3)	2022	DBLP DOI BibTeX RDF
26	Alessandro Ricci, Rafael H. Bordini, Jomi Fred Hübner, Rem W. Collier	AgentSpeak(ER): Enhanced Encapsulation in Agent Plans.	EMAS@AAMAS	2018	DBLP DOI BibTeX RDF
26	Angelo Croatti, Alessandro Ricci	An extension of AgentSpeak(L) and Jason tailored to programming and software development.	AGERE!@SPLASH	2016	DBLP DOI BibTeX RDF
26	Rem W. Collier, Sean Edward Russell, David Lillis	Reflecting on Agent Programming with AgentSpeak(L).	PRIMA	2015	DBLP DOI BibTeX RDF
26	Francisco Coelho, Vítor Nogueira	Probabilistic Perception Revision in AgentSpeak(L).	PRIMA	2015	DBLP DOI BibTeX RDF
26	Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj	From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles.	TAROS	2015	DBLP DOI BibTeX RDF
26	Francisco Coelho, Vítor Nogueira	Probabilistic Selection in AgentSpeak(L).	CoRR	2014	DBLP BibTeX RDF
26	Jeehang Lee, Julian A. Padget, Brian Logan 0001, Daniela Dybalova, Natasha Alechina	N-Jason: Run-Time Norm Compliance in AgentSpeak(L).	EMAS@AAMAS	2014	DBLP DOI BibTeX RDF
26	Akshat Dhaon, Rem W. Collier	Multiple Inheritance in AgentSpeak(L)-Style Programming Languages.	AGERE!@SPLASH	2014	DBLP DOI BibTeX RDF
26	Muhammad Shafiq ur Rehman, Aamer Nadeem	AgentSpeak (L) Based Testing of Autonomous Agents.	FGIT-ASEA/DRBC/EL	2011	DBLP DOI BibTeX RDF
26	Rafael H. Bordini, Jomi Fred Hübner	Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions).	ECAI	2010	DBLP DOI BibTeX RDF
26	Loris Fichera, Daniele Marletta, Vincenzo Nicosia, Corrado Santoro	A Methodology to Extend Imperative Languages with AgentSpeak Declarative Constructs.	WOA	2010	DBLP BibTeX RDF
26	Michael Thielscher	Integrating Action Calculi and AgentSpeak: Closing the Gap.	KR	2010	DBLP BibTeX RDF
26	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	CTL AgentSpeak(L): A specification language for agent programs.	J. Algorithms	2009	DBLP DOI BibTeX RDF
26	Álvaro F. Moreira, Renata Vieira	Belief Update in AgentSpeak-DL.	Programming Multi-Agent Systems	2008	DBLP BibTeX RDF
26	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	CTL AgentSpeak(L): a specification language for agent programs.	LA-NMR	2008	DBLP BibTeX RDF
26	Aniruddha Dasgupta, Farzad Salim, Aneesh Krishna, Aditya K. Ghose	Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering.	ICEIS (3)	2006	DBLP BibTeX RDF
26	Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose	Towards Executable Specification: Combining i* and AgentSpeak(L) .	SEKE	2005	DBLP BibTeX RDF
26	Aniruddha Dasgupta, Aditya K. Ghose	Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L).	PRIMA	2005	DBLP DOI BibTeX RDF
26	Duc Vo, Aditya Ghose	Agent Programming Language with Incomplete Knowledge - Agentspeak(I).	ICEIS (Selected Papers)	2004	DBLP DOI BibTeX RDF
26	Duc Vo, Aditya Ghose	Agent Programming Language with Incomplete Knowledge - Agentspeak(I).	ICEIS (4)	2004	DBLP BibTeX RDF
26	Rafael H. Bordini, Renata Vieira	Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L).	RITA	2003	DBLP BibTeX RDF
26	Mark d'Inverno, Michael Luck	Engineering AgentSpeak(L): A Formal Computational Model.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
26	Anand S. Rao	AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language.	MAAMAW	1996	DBLP DOI BibTeX RDF
18	Felipe Rech Meneguzzi, Michael Luck	Norm-based behaviour modification in BDI agents.	AAMAS (1)	2009	DBLP BibTeX RDF	norms, BDI
18	Jomi Fred Hübner, Rafael H. Bordini, Gauthier Picard	Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys.	ProMAS	2008	DBLP DOI BibTeX RDF
18	Jomi Fred Hübner, Rafael H. Bordini	Developing a Team of Gold Miners Using Jason.	PROMAS	2007	DBLP DOI BibTeX RDF
18	John Thangarajah, Lin Padgham, Sebastian Sardiña	Modelling situations in intelligent agents.	AAMAS	2006	DBLP DOI BibTeX RDF	agent and multi-agent architectures, infrastructures and environments for agent systems, frameworks
18	Timothy William Cleaver, Abdul Sattar 0001, Raihana Ferdous	User defined monitoring strategies for BDI agent programs.	AAMAS	2006	DBLP DOI BibTeX RDF	agent and multi-agent architectures, agent programming languages
18	Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Willem Visser, Michael J. Wooldridge	Model Checking Multi-Agent Programs with CASP.	CAV	2003	DBLP DOI BibTeX RDF
18	Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini	Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds.	IVA	2003	DBLP DOI BibTeX RDF
18	Xiaojun Zhou, Jian Cao 0001, Shen-sheng Zhang	A Multi-agent System Based on ECA Rule.	GCC (2)	2003	DBLP DOI BibTeX RDF