Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Yves Lespérance, Hector J. Levesque, Shane J. Ruman |
An Experiment in Using Golog to Build a Personal Banking Assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRICAI Workshop on Intelligent Agent Systems ![In: Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI'96, Cairns, Australia, August 26-30, 1996, pp. 27-43, 1996, Springer, 3-540-62686-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
78 | Dimitris Plexousakis |
Simulation and analysis of business processes using GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1995, Milpitas, California, USA, August 13-16, 1995, pp. 311-322, 1995, ACM, 978-0-89791-706-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
73 | Alberto Finzi, Thomas Lukasiewicz |
Game theoretic Golog under partial observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), July 25-29, 2005, Utrecht, The Netherlands, pp. 1301-1302, 2005, ACM, 1-59593-094-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
POSG, game-theoretic agent programming, golog |
60 | Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith |
Web Service Composition via the Customization of Golog Programs with User Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 319-334, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
60 | Fabrice Popineau, Yolaine Bourda, Bich-Liên Doan |
Generating Adaptive Hypermedia with Golog and Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 2003 IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, Greece, July 9-11, 2003, pp. 463, 2003, IEEE Computer Society, 0-7695-1967-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Ioan Alfred Letia, Doina Precup |
Developing Collaborative Golog Agents by Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001, pp. 195-202, 2001, IEEE Computer Society, 0-7695-1417-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
49 | 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 |
48 | Maximillian Kirsch, Shubham Pawar, Alexander Ferrein, Stefan Schiffer 0002 |
GOLOG++ Hits the (Right) Spot: Interfacing Golog with a Quadruped Rescue Robot for High-Level Missions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024., pp. 1052-1059, 2024, SCITEPRESS, 978-989-758-680-4. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
48 | Gabriele Röger |
Planning techniques and the action language golog (Planungstechniken und die Aktionssprache Golog) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
48 | Alexander Ferrein |
golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Robotics ![In: Cognitive Robotics, 21.02. - 26.02.2010, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
48 | Alexander Ferrein |
Golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Embedded Reasoning ![In: Embedded Reasoning, Papers from the 2010 AAAI Spring Symposium, Technical Report SS-10-04, Stanford, California, USA, March 22-24, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
42 | Tiziana Margaria, Daniel Meyer, Christian Kubczak, Malte Isberner, Bernhard Steffen |
Synthesizing Semantic Web Service Compositions with jMosel and Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2009, 8th International Semantic Web Conference, ISWC 2009, Chantilly, VA, USA, October 25-29, 2009. Proceedings, pp. 392-407, 2009, Springer, 978-3-642-04929-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Florian Pommerening, Stefan Wölfl 0001, Matthias Westphal |
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 468-475, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
42 | Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer |
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007, Proceedings, pp. 352-366, 2007, Springer, 978-3-540-74564-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
42 | Alberto Finzi, Thomas Lukasiewicz |
Game-Theoretic Agent Programming in Golog Under Partial Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 113-127, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
42 | Alexander Ferrein, Christian Fritz 0001, Gerhard Lakemeyer |
On-Line Decision-Theoretic Golog for Unpredictable Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings, pp. 322-336, 2004, Springer, 3-540-23166-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Zheng Dong, Cong Qi, Xiaofei Xu |
Ontology-Based Intelligent Sensing Action in Golog for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (1) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I, pp. 964-971, 2003, Springer, 3-540-21988-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Iluju Kiringa |
Simulation of Advanced Transaction Models Using GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, pp. 318-341, 2001, Springer, 3-540-44080-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
36 | Viorica R. Chifu, Ioan Salomie, Simona Manole |
Fluent Calculus Based Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pp. 230-231, 2008, Springer, 978-3-540-88736-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Alberto Finzi, Thomas Lukasiewicz |
Adaptive Multi-agent Programming in GTGolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings, pp. 389-403, 2006, Springer, 978-3-540-69911-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | 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 |
|
36 | Robert Demolombe, Erwan Hamon |
What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 905-911, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
intentional attitude, situation calculus, formalisms and logics |
36 | 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 |
36 | Raymond Reiter |
On knowledge-based programming with sensing in the situation calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(4), pp. 433-457, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus |
36 | Henrik Grosskreutz, Gerhard Lakemeyer |
Belief Update in the pGOLOG Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI/ÖGAI ![In: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, pp. 213-228, 2001, Springer, 3-540-42612-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | 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 |
24 | Bing Yang, Hailiang Ye, Ming Li 0065, Feilong Cao, Shirui Pan |
GoLoG: Global-to-Local Decoupling Graph Network With Joint Optimization for Hyperspectral Image Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 61, pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Till Hofmann, Stefan Schupp |
Controlling Golog Programs against MTL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.03596, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Till Hofmann, Gerhard Lakemeyer |
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.09837, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer 0002 |
Portable High-level Agent Programming with golog++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021., pp. 218-227, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Alberto Finzi, Thomas Lukasiewicz |
Partially observable game-theoretic agent programming in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 119, pp. 220-241, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Maximillian Kirsch, Victor Mataré, Alexander Ferrein, Stefan Schiffer 0002 |
Integrating golog++ and ROS for Practical and Portable High-level Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020., pp. 692-699, 2020, SCITEPRESS, 978-989-758-395-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Gerhard Lakemeyer |
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019., 2019, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Jens Claßen |
Symbolic Verification of Golog Programs with First-Order BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., pp. 524-529, 2018, AAAI Press, 978-1-57735-803-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Victor Mataré, Stefan Schiffer 0002, Alexander Ferrein |
golog++ : An Integrative System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogRob@KR ![In: Proceedings of the 11th Cognitive Robotics Workshop 2018, co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning, CogRob@KR 2018, Tempe, AZ, USA, October 27th, 2018., pp. 29-36, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Till Hofmann, Gerhard Lakemeyer |
A Logic for Specifying Metric Temporal Constraints for Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogRob@KR ![In: Proceedings of the 11th Cognitive Robotics Workshop 2018, co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning, CogRob@KR 2018, Tempe, AZ, USA, October 27th, 2018., pp. 36-46, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Benjamin Zarrieß |
Verification of golog programs over description logic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
24 | Jens Claßen, Benjamin Zarrieß |
Decidable Verification of Decision-Theoretic Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 227-243, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Schiffer 0002, Alexander Ferrein |
Decision-Theoretic Planning with Fuzzy Notions in GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 24(Supplement-2), pp. 123-144, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer |
Continual Planning in Golog. ![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. 3346-3353, 2016, AAAI Press, 978-1-57735-760-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Zarrieß, Jens Claßen |
Decidable Verification of Golog Programs over Non-Local Effect Actions. ![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. 1109-1115, 2016, AAAI Press, 978-1-57735-760-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer |
Interruptible Task Execution with Resumption in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 1265-1273, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Peiming Mo, Naiqi Li, Yongmei Liu 0001 |
Automatic Verification of Golog Programs via Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), pp. 760-768, 2016, IOS Press, 978-1-61499-671-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Schiffer 0002, Alexander Ferrein |
Decision-Theoretic Planning with Linguistic Terms in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLinAI@IJCAI ![In: Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015., 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Naiqi Li, Yongmei Liu 0001 |
Automatic Verification of Partial Correctness of Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 3113-3119, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Malcolm Ryan |
Efficiently Implementing GOLOG with Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 2352-2357, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß |
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada., pp. 1012-1019, 2014, AAAI Press, 978-1-57735-661-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin Zarrieß, Jens Claßen |
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp. 939-944, 2014, IOS Press, 978-1-61499-418-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Benjamin Zarrieß, Jens Claßen |
On the Decidability of Verifying LTL Properties of Golog Programs. ![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 |
|
24 | 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 |
|
24 | Franz Baader, Benjamin Zarrieß |
Verification of Golog Programs over Description Logic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCos ![In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings, pp. 181-196, 2013, Springer, 978-3-642-40884-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jens Claßen |
Planning and Verification in the agent language Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
24 | Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel |
Platas - Integrating Planning and the Action Language Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 26(1), pp. 61-67, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Beck, Gerhard Lakemeyer |
Reinforcement learning for Golog programs with first-order state-abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 20(5), pp. 909-942, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu 0001 |
A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada., pp. 734-742, 2012, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Stefan Schiffer 0002, Alexander Ferrein, Gerhard Lakemeyer |
Fuzzy Representations and Control for Domestic Service Robots in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (2) ![In: Intelligent Robotics and Applications - 4th International Conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, Proceedings, Part II, pp. 241-250, 2011, Springer, 978-3-642-25488-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Alfredo Gabaldon |
Making Golog Norm Compliant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, pp. 275-292, 2011, Springer, 978-3-642-22358-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Ferrein, Gerald Steinbauer |
On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMPAR ![In: Simulation, Modeling, and Programming for Autonomous Robots - Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings, pp. 229-240, 2010, Springer, 978-3-642-17318-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Christian Fritz 0001, Yolanda Gil |
Towards the Integration of Programming by Demonstration and Programming by Instruction using Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Plan, Activity, and Intent Recognition ![In: Plan, Activity, and Intent Recognition, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
24 | Jens Claßen, Gerhard Lakemeyer |
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 887-892, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Michelle L. Blom, Adrian R. Pearce |
Relaxing Regression for a Heuristic GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STAIRS ![In: STAIRS 2010 - Proceedings of the Fifth Starting AI Researchers' Symposium, Lisbon, Portugal, 16-20 August, 2010, pp. 37-49, 2010, IOS Press, 978-1-60750-675-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer |
Embedding fuzzy controllers in golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2009, IEEE International Conference on Fuzzy Systems, Jeju Island, Korea, 20-24 August 2009, Proceedings, pp. 894-899, 2009, IEEE, 978-1-4244-3596-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Sebastian Sardiña, Yves Lespérance |
Golog Speaks the BDI Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems - 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers, pp. 82-99, 2009, Springer, 978-3-642-14842-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Michelle L. Blom, Adrian R. Pearce |
An Argumentation-Based Interpreter for Golog 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. 690-695, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Gabriele Röger, Malte Helmert, Bernhard Nebel |
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle. ![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. 544-550, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Jens Claßen, Gerhard Lakemeyer |
A Logic for Non-Terminating Golog Programs. ![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. 589-599, 2008, AAAI Press, 978-1-57735-384-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
24 | Gabriele Röger, Bernhard Nebel |
Expressiveness of ADL and Golog: Functions Make a Difference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, July 22-26, 2007, Vancouver, British Columbia, Canada, pp. 1051-1056, 2007, AAAI Press, 978-1-57735-323-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Alessandro Farinelli, Alberto Finzi, Thomas Lukasiewicz |
Team Programming in Golog under Partial Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 2097-2102, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel |
Towards an Integration of Golog and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007, pp. 1846-1851, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Mikhail Soutchanski, Huy Pham, John Mylopoulos |
Decision Making in Uncertain Real-World Domains Using DT-Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Alfredo Gabaldon |
Formalizing Complex Task Libraries in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 755-756, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Alfredo Gabaldon |
Hierarchical Task Libraries in (Con) Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering ![In: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering, Papers from the 2006 AAAI Spring Symposium, Technical Report SS-06-05, Stanford, California, USA, March 27-29, 2006, pp. 67-71, 2006, AAAI. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Christian Fritz 0001, Sheila A. McIlraith |
Decision-Theoretic GOLOG with Qualitative Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, pp. 153-163, 2006, AAAI Press, 978-1-57735-271-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
24 | Alexander Ferrein, Christian Fritz 0001, Gerhard Lakemeyer |
Using Golog for Deliberation and Team Coordination in Robotic Soccer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 19(1), pp. 24-, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Stefan Jacobs 0001, Alexander Ferrein, Gerhard Lakemeyer |
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, June 1-5, 2005, Marina del Rey, California, USA, pp. 151-152, 2005, AAAI Press, 1-57735-235-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Alberto Finzi, Thomas Lukasiewicz |
Game-Theoretic Agent Programming in Golog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, pp. 23-27, 2004, IOS Press, 1-58603-452-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
24 | Jorge A. Baier, Javier Pinto |
Planning under uncertainty as Golog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 15(4), pp. 383-405, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Henrik Grosskreutz, Gerhard Lakemeyer |
Probabilistic Complex Actions in GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 57(2-4), pp. 167-192, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
24 | Ioan Alfred Letia, Doina Precup |
Developing Collaborative Golog Agents by Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 11(2), pp. 233-246, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Sheila A. McIlraith, Tran Cao Son |
Adapting Golog for Composition of Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, pp. 482-496, 2002, Morgan Kaufmann, 1-55860-554-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Mikhail Soutchanski |
An On-line Decision-Theoretic Golog Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 19-26, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
24 | Henrik Grosskreutz, Gerhard Lakemeyer |
On-Line Execution of cc-Golog Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 12-18, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
24 | Henrik Grosskreutz, Gerhard Lakemeyer |
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 14(4), pp. 11-15, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Henrik Grosskreutz, Gerhard Lakemeyer |
cc-Golog: Towards More Realistic Logic-Based Robot Controllers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0003032, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Henrik Grosskreutz, Gerhard Lakemeyer |
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI/IAAI ![In: Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA., pp. 476-482, 2000, AAAI Press / The MIT Press, 0-262-51112-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
24 | Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer |
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings, pp. 165-176, 1998, Springer, 3-540-65080-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Raymond Reiter |
Sequential, Temporal GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998., pp. 547-556, 1998, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
24 | Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl |
GOLOG: A Logic Programming Language for Dynamic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 31(1-3), pp. 59-83, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Yves Lespérance, Hector J. Levesque, Shane J. Ruman |
An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the First International Conference on Autonomous Agents, AGENTS 1997, Marina del Rey, California, USA, February 5-8, 1997, pp. 486-487, 1997, ACM, 0-89791-877-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin |
Controlling Autonomous Robots with GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 10th Australian Joint Conference on Artificial Intelligence, AI '97, Perth, Australia, November 30 - December 4, 1997, Proceedings, pp. 1-12, 1997, Springer, 3-540-63797-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer |
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2008: Advances in Artificial Intelligence, 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings, pp. 267-275, 2008, Springer, 978-3-540-85844-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Freddy Lécué, Alain Léger, Alexandre Delteil |
DL Reasoning and AI Planning for Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 445-453, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith |
Web Service Composition Via Generic Procedures and Customizing User Preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings, pp. 597-611, 2006, Springer, 3-540-49029-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Silvio do Lago Pereira, Leliane Nunes de Barros |
High-Level Robot Programming: An Abductive Approach Using Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 73-82, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
planning, abduction, event calculus, cognitive robotics |
18 | Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio |
Distributed Intelligent Management of Active Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, September 23-26, 2003, Proceedings, pp. 312-323, 2003, Springer, 3-540-20119-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus |
18 | Robert P. Goldman |
A Stochastic Model for Intrusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAID ![In: Recent Advances in Intrusion Detection, 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings, pp. 199-218, 2002, Springer, 3-540-00020-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jorge A. Baier |
On Procedure Recognition in the Situation Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile, pp. 33-42, 2002, IEEE Computer Society, 0-7695-1867-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Sardiña |
Local Conditional High-Level Robot Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 110-124, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Tran Cao Son, Chitta Baral, Sheila A. McIlraith |
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings, pp. 226-239, 2001, Springer, 3-540-42593-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|