|
|
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 |
91 | Alexei 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](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 483-503, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
71 | Minh Phan, Fumio Hattori |
Automatic Web Service Composition Using ConGolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 4-7 July 2006, Lisboa, Portugal, pp. 17, 2006, IEEE Computer Society, 0-7695-2541-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
71 | Yves Lespérance, Todd G. Kelley, John Mylopoulos, Eric S. K. Yu |
Modeling Dynamic Domains with ConGolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 11th International Conference CAiSE'99, Heidelberg, Germany, June 14-18, 1999, Proceedings, pp. 365-380, 1999, Springer, 3-540-66157-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, pp. 600-610, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
59 | Eric S. K. Yu, John Mylopoulos, Yves Lespérance |
AI Models for Business Process Reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Expert ![In: IEEE Expert 11(4), pp. 16-23, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
52 | Jorge A. Baier, Javier Pinto |
Integrating True Concurrency into the Robot Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 19th International Conference of the Chilean Computer Science Society (SCCC '99), 11-13 November 1999, Talca, Chile, pp. 179-186, 1999, IEEE Computer Society, 0-7695-0296-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 328-343, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Yisong Liu, Qingfeng Hu, Qingbo Yang |
Virtual Human of Intelligent Agriculture Behavior and Realization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IITA ![In: Proceedings of the Workshop on Intelligent Information Technology Application, IITA 2007, Zhang Jiajie, China, December 2-3, 2007, pp. 231-234, 2007, IEEE Computer Society, 0-7695-3063-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Yisong Liu, Lili Dong, Yamin Sun |
Cooperation Model of Multi-agent System Based on the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pp. 424-427, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAT Workshops ![In: 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29 - December 1, 2006, Workshops Proceedings, pp. 83-88, 2006, IEEE Computer Society, 0-7695-2754-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 242-257, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Steven Shapiro, Yves Lespérance, Hector J. Levesque |
Specifying Communicative Multi-Agent Systems (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications ![In: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997, pp. 1-14, 1997, Springer, 3-540-64769-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 8(1), pp. 4-22, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pp. 950-956, 2016, AAAI Press, 978-1-57735-760-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
32 | Fangzhen Lin |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposia ![In: 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, 2014, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
32 | Fangzhen Lin |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014, AAAI Press, 978-1-57735-657-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
32 | Giuseppe De Giacomo, Yves Lespérance, Christian J. Muise |
On supervising agents in situation-determined ConGolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pp. 1031-1038, 2012, IFAAMAS. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
32 | Sebastian Sardiña, Giuseppe De Giacomo |
Composition of ConGolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, pp. 904-910, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
32 | Yisong Liu, Lili Dong, Yamin Sun |
Multi-agent System Based on the Extended ConGolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (2) ![In: Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), October 16-18, 2006, Jinan, China, pp. 913-918, 2006, IEEE Computer Society, 0-7695-2528-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Leila Kalantari, Eugenia Ternovska |
A Model Checker for Verifying ConGolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada., pp. 953-954, 2002, AAAI Press / The MIT Press. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
32 | Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
ConGolog, a concurrent programming language based on the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 121(1-2), pp. 109-169, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
32 | Koen V. Hindriks, Yves Lespérance, Hector J. Levesque |
An Embedding of ConGolog in 3APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, pp. 558-562, 2000, IOS Press. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
32 | Chitta Baral, Tran Cao Son |
Extending ConGolog to Allow Partial Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL), 6th International Workshop, ATAL '99, Orlando, Florida, USA, July 15-17, 1999, Proceedings, pp. 188-204, 1999, Springer, 3-540-67200-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Iluju Kiringa |
Specifying active databases as non-Markovian theories of actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 32(2), pp. 105-138, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1345-1352, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS-OAMAS ![In: Organized Adaption in Multi-Agent Systems, First International Workshop, OAMAS 2008, Estoril, Portugal, May 13, 2008. Revised and Invited Papers, pp. 126-144, 2008, Springer, 978-3-642-02376-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers, pp. 164-182, 2006, Springer, 978-3-540-77989-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ryan F. Kelly, Adrian R. Pearce |
Towards High-Level Programming for Distributed Problem Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Hong Kong, China, 18-22 December 2006, pp. 490-497, 2006, IEEE Computer Society, 0-7695-2748-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004. Proceedings, pp. 520-532, 2004, Springer, 3-540-23664-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer |
SNet Reloaded: Roles, Monitoring and Agent Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems II, 6th International Bi-Conference Workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004,Revised Selected Papers, pp. 68-84, 2004, Springer, 3-540-25911-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: 4th International Conference on Hybrid Intelligent Systems (HIS 2004), 5-8 December 2004, Kitakyushu, Japan, pp. 254-259, 2004, IEEE Computer Society, 0-7695-2291-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Giuseppe De Giacomo, Hector J. Levesque, Sebastian Sardiña |
Incremental execution of guarded theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(4), pp. 495-525, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
agent behavior, situation calculus, reasoning about actions |
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|