Search results for "ConGolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
71	Minh Phan, Fumio Hattori	Automatic Web Service Composition Using ConGolog.	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
71	Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu	Modeling Dynamic Domains with ConGolog.	CAiSE	1999	DBLP DOI BibTeX RDF
64	Christian Fritz 0001, Jorge A. Baier, Sheila A. McIlraith	ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.	KR	2008	DBLP BibTeX RDF
59	Eric S. K. Yu, John Mylopoulos, Yves Lespérance	AI Models for Business Process Reengineering.	IEEE Expert	1996	DBLP DOI BibTeX RDF
52	Jorge A. Baier, Javier Pinto	Integrating True Concurrency into the Robot Programming Language.	SCCC	1999	DBLP DOI BibTeX RDF	Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
52	Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits	SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog.	CAiSE	2002	DBLP DOI BibTeX RDF
40	Yisong Liu, Qingfeng Hu, Qingbo Yang	Virtual Human of Intelligent Agriculture Behavior and Realization.	IITA	2007	DBLP DOI BibTeX RDF
40	Yisong Liu, Lili Dong, Yamin Sun	Cooperation Model of Multi-agent System Based on the Situation Calculus.	IAT	2006	DBLP DOI BibTeX RDF
40	Yisong Liu, Gang Wang, Lili Dong, Yamin Sun	The Cooperation Behaviors of Multiple Intelligent Virtual Agents Based on the Situation Calculus.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
40	Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz	Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks.	CAiSE	2003	DBLP DOI BibTeX RDF
40	Steven Shapiro, Yves Lespérance, Hector J. Levesque	Specifying Communicative Multi-Agent Systems (Invited Paper).	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
33	Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer	Continuous requirements management for organisation networks: a (dis)trust-based approach.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	ConGolog, Inter-organisational systems, Viewpoint resolution, Trust, Requirements engineering, Conceptual modelling, Metadata management, Telos
32	Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi, Sebastian Sardiña	Verifying ConGolog Programs on Bounded Situation Calculus Theories.	AAAI	2016	DBLP DOI BibTeX RDF
32	Fangzhen Lin	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations.	AAAI Spring Symposia	2014	DBLP BibTeX RDF
32	Fangzhen Lin	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations.	KR	2014	DBLP BibTeX RDF
32	Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise	On supervising agents in situation-determined ConGolog.	AAMAS	2012	DBLP BibTeX RDF
32	Sebastian Sardiña, Giuseppe De Giacomo	Composition of ConGolog Programs.	IJCAI	2009	DBLP BibTeX RDF
32	Yisong Liu, Lili Dong, Yamin Sun	Multi-agent System Based on the Extended ConGolog.	ISDA (2)	2006	DBLP DOI BibTeX RDF
32	Leila Kalantari, Eugenia Ternovska	A Model Checker for Verifying ConGolog Programs.	AAAI/IAAI	2002	DBLP BibTeX RDF
32	Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque	ConGolog, a concurrent programming language based on the situation calculus.	Artif. Intell.	2000	DBLP DOI BibTeX RDF
32	Koen V. Hindriks, Yves Lespérance, Hector J. Levesque	An Embedding of ConGolog in 3APL.	ECAI	2000	DBLP BibTeX RDF
32	Chitta Baral, Tran Cao Son	Extending ConGolog to Allow Partial Ordering.	ATAL	1999	DBLP DOI BibTeX RDF
20	Iluju Kiringa	Specifying active databases as non-Markovian theories of actions.	J. Intell. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Semantic of active databases, Logical foundations, Action theories, non-Markovian control, Knowledge representation, Situation calculus
20	Massimiliano de Leoni, Giuseppe De Giacomo, Yves Lespérance, Massimo Mecella	On-line adaptation of sequential mobile processes running concurrently.	SAC	2009	DBLP DOI BibTeX RDF	GOLOG, pervasive scenarios, process management, situation calculus, smart devices
20	Aristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke	Modelling Actor Evolution in Agent-Based Simulations.	AAMAS-OAMAS	2008	DBLP DOI BibTeX RDF	Evolution, agent-based simulation, i*, inter-organizational networks
20	Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke	Comparing Three Formal Analysis Approaches of the Tropos Family.	AOIS	2006	DBLP DOI BibTeX RDF
20	Ryan F. Kelly, Adrian R. Pearce	Towards High-Level Programming for Distributed Problem Solving.	IAT	2006	DBLP DOI BibTeX RDF
20	Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke	Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.	OTM Workshops	2004	DBLP DOI BibTeX RDF
20	Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer	SNet Reloaded: Roles, Monitoring and Agent Evolution.	AOIS	2004	DBLP DOI BibTeX RDF
20	Incheon Paik, Shinjirou Takami, Yuu Watanabe	Intelligent Agent to Support Design in Supply Chain Based on Semantic Web Services.	HIS	2004	DBLP DOI BibTeX RDF
20	Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña	Incremental execution of guarded theories.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	agent behavior, situation calculus, reasoning about actions