The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Congolog with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1996-2004 (15) 2006-2014 (16) 2016 (1)
Publication types (Num. hits)
article(5) inproceedings(27)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18 occurrences of 15 keywords

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