The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sebastian Sardiña" ( http://dblp.L3S.de/Authors/Sebastian_Sardiña )

  Author page on DBLP  Author page in RDF  Community of Sebastian Sardiña in ASPL-2

Publication years (Num. hits)
2001-2008 (15) 2009-2011 (18) 2012-2014 (17) 2015-2016 (17) 2017-2018 (17) 2019 (4)
Publication types (Num. hits)
article(25) incollection(1) inproceedings(58) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 8 keywords

Results
Found 89 publication records. Showing 88 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Lavindra de Silva, Lin Padgham, Sebastian Sardiña HTN-like solutions for classical planning problems: An application to BDI agent systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nir Lipovetzky, Sebastian Sardiña Pacman Capture the Flag in AI Courses. Search on Bibsonomy IEEE Trans. Games The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peta Masters, Sebastian Sardiña Cost-Based Goal Recognition in Navigational Domains. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peta Masters, Sebastian Sardiña Goal Recognition for Rational and Irrational Agents. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Sebastian Sardiña Supporting adaptiveness of cyber-physical processes through action-based formalisms. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña Fully Observable Non-deterministic Planning as Assumption-Based Reactive Synthesis. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Brian Logan, Paolo Felli, Fabio Patrizi, Sebastian Sardiña Situation Calculus for Synthesis of Manufacturing Controllers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nitin Yadav, Carsten Murawski, Sebastian Sardiña, Peter Bossaerts Phase transition in the knapsack problem. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña On the Progression of Situation Calculus Universal Theories with Constants. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Max Waters, Bernhard Nebel, Lin Padgham, Sebastian Sardiña Plan Relaxation via Action Debinding and Deordering. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Peta Masters, Sebastian Sardiña Cost-Based Goal Recognition for the Path-Planning Domain. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paolo Felli, Nitin Yadav, Sebastian Sardiña Supervisory Control for Behavior Composition. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Sebastian Sardiña Intelligent Process Adaptation in the SmartPM System. Search on Bibsonomy ACM TIST The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lavindra de Silva, Sebastian Sardiña, Lin Padgham Addendum to: Summary Information for Reasoning About Hierarchical Plans. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mehdi Dastani, Sebastian Sardiña, Vahid Yazdanpanah Norm Enforcement as Supervisory Control. Search on Bibsonomy PRIMA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parthasarathy Nadarajan, Michael Botsch, Sebastian Sardiña Predicted-occupancy grids for vehicle safety applications based on autoencoders and the Random Forest algorithm. Search on Bibsonomy IJCNN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ronen I. Brafman, Giuseppe De Giacomo, Massimo Mecella, Sebastian Sardiña Service Composition in Stochastic Settings. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peta Masters, Sebastian Sardiña Deceptive Path-Planning. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nitin Yadav, John Thangarajah, Sebastian Sardiña Agent Design Consistency Checking via Planning. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lukás Chrpa, Nir Lipovetzky, Sebastian Sardiña Handling non-local dead-ends in Agent Planning Programs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Peta Masters, Sebastian Sardiña Cost-Based Goal Recognition for Path-Planning. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Alfonso Emilio Gerevini, Fabio Patrizi, Alessandro Saetti, Sebastian Sardiña Agent planning programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Aversa, Sebastian Sardiña, Stavros Vassos Path planning with Inventory-driven Jump-Point-Search. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Paolo Felli, Nitin Yadav, Sebastian Sardiña Supervisory Control for Behavior Composition. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Aversa, Sebastian Sardiña, Stavros Vassos Pruning and preprocessing methods for inventory-aware pathfinding. Search on Bibsonomy CIG The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giuseppe 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  BibTeX  RDF
1Lavindra de Silva, Sebastian Sardiña, Lin Padgham Summary Information for Reasoning About Hierarchical Plans. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Fabrizio Maria Maggi, Andrea Marrella, Sebastian Sardiña Computing Trace Alignment against Declarative Process Models through Planning. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Paolo Felli, Brian Logan, Sebastian Sardiña Parallel Behavior Composition for Manufacturing. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña Incomplete Causal Laws in the Situation Calculus Using Free Fluents. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Sebastian Sardiña An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña Special Issue on: Knowledge-intensive Business Processes. Search on Bibsonomy J. Data Semantics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Max Waters, Lin Padgham, Sebastian Sardiña Improving domain-independent intention selection in BDI systems. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh 0001, Sebastian Sardiña, Kiri Wagstaff A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Search on Bibsonomy AI Magazine The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrea Marrella, Patris Halapuu, Massimo Mecella, Sebastian Sardiña SmartPM: An Adaptive Process Management System for Executing Processes in Cyber-Physical Domains. Search on Bibsonomy BPM (Demos) The full citation details ... 2015 DBLP  BibTeX  RDF
1Davide Aversa, Sebastian Sardiña, Stavros Vassos Path Planning with Inventory-Driven Jump-Point-Search. Search on Bibsonomy AIIDE The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Patris Halapuu, Sebastian Sardiña Automated Process Adaptation in Cyber-Physical Domains with the SmartPM System (Short Paper). Search on Bibsonomy SOCA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sebastian Sardiña, Nicolás D'Ippolito Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Sebastian Sardiña, Paola Tucceri SmartPM: Automated Adaptation of Dynamic Processes. Search on Bibsonomy ICSOC Workshops The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Sebastian Sardiña SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Miquel Ramírez, Sebastian Sardiña Directed Fixed-Point Regression-Based Planning for Non-Deterministic Domains. Search on Bibsonomy ICAPS The full citation details ... 2014 DBLP  BibTeX  RDF
1Max Waters, Lin Padgham, Sebastian Sardiña Evaluating coverage based intention selection. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña Automatic behavior composition synthesis. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Miquel Ramírez, Nitin Yadav, Sebastian Sardiña Behavior Composition as Fully Observable Non-Deterministic Planning. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Nitin Yadav, Paolo Felli, Giuseppe De Giacomo, Sebastian Sardiña Supremal Realizability of Behaviors with Uncontrollable Exogenous Events. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Using Strategic Logics to Reason about Agent Programs. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Reasoning about Agent Programs using ATL-like Logics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Qualitative Approximate Behavior Composition Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1John Thangarajah, Sebastian Sardiña, Lin Padgham Measuring plan coverage and overlap for agent reasoning. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Steven Shapiro, Sebastian Sardiña, John Thangarajah, Lawrence Cavedon, Lin Padgham Revising conflicting intention sets in BDI agents. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff (eds.) Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers Search on Bibsonomy DALT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Reasoning about Agent Programs Using ATL-Like Logics. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Qualitative Approximate Behavior Composition. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Arthur H. M. ter Hofstede, Massimo Mecella, Sebastian Sardiña, Andrea Marrella (eds.) Proceedings of the 1st International Workshop on Knowledge-intensive Business Processes, KiBP@KR 2012, Rome, Italy, June 15, 2012 Search on Bibsonomy KiBP@KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Sebastian Sardiña, Lin Padgham A BDI agent programming language with failure handling, declarative goals, and planning. Search on Bibsonomy Autonomous Agents and Multi-Agent Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos (eds.) Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers Search on Bibsonomy DALT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andrea Marrella, Massimo Mecella, Alessandro Russo 0001, Arthur H. M. ter Hofstede, Sebastian Sardiña Making YAWL and SmartPM Interoperate: Managing Highly Dynamic Processes by Exploiting Automatic Adaptation Features. Search on Bibsonomy BPM (Demos) The full citation details ... 2011 DBLP  BibTeX  RDF
1Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Geoff James Integrating Learning into a BDI Agent for Environments with Changing Dynamics. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nitin Yadav, Sebastian Sardiña Decision theoretic behavior composition. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Nitin Yadav, Chenguang Zhou, Sebastian Sardiña, Ralph Rönnquist A BDI agent system for the cow herding domain. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dhirendra Singh, Sebastian Sardiña, Lin Padgham Extending BDI plan selection to incorporate learning from experience. Search on Bibsonomy Robotics and Autonomous Systems The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Paolo Felli, Fabio Patrizi, Sebastian Sardiña Two-Player Game Structures for Generalized Planning and Agent Composition. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña Generalized Planning with Loops under Strong Fairness Constraints. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Dhirendra Singh, Sebastian Sardiña, Lin Padgham, Stéphane Airiau Learning context conditions for BDI plan selection. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña Agent programming via planning programs. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Stéphane Airiau, Lin Padgham, Sebastian Sardiña, Sandip Sen Enhancing the Adaptation of BDI Agents Using Learning Techniques. Search on Bibsonomy IJATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. Search on Bibsonomy Multi-Agent Programming, Languages, Tools and Applications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Koen V. Hindriks, Alexander Pokahr, Sebastian Sardiña (eds.) Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers Search on Bibsonomy ProMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sebastian Sardiña, Yves Lespérance Golog Speaks the BDI Language. Search on Bibsonomy PROMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Sarah L. Hickmott, Sebastian Sardiña Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Sebastian Sardiña, Giuseppe De Giacomo Composition of ConGolog Programs. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Lavindra de Silva, Sebastian Sardiña, Lin Padgham First principles planning in BDI systems. Search on Bibsonomy AAMAS (2) The full citation details ... 2009 DBLP  BibTeX  RDF
1Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo Behavior Composition in the Presence of Failure. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Massimiliano de Leoni, Andrea Marrella, Massimo Mecella, Stefano Valentini, Sebastian Sardiña Coordinating Mobile Actors in Pervasive and Mobile Scenarios: An AI-Based Approach. Search on Bibsonomy WETICE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ProcessManagement Systems, AI-based coordination, Emergency Management
1Sebastian Sardiña, Giuseppe De Giacomo Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. Search on Bibsonomy ICAPS The full citation details ... 2008 DBLP  BibTeX  RDF
1Sebastian Sardiña, Fabio Patrizi, Giuseppe De Giacomo Automatic Synthesis of a Global Behavior from Multiple Distributed Behaviors. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Giuseppe De Giacomo, Sebastian Sardiña Automatic Synthesis of New Behaviors from a Library of Available Behaviors. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Sebastian Sardiña, Lin Padgham Goals in the context of BDI plan failure and planning. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On the Limits of Planning over Belief States under Strict Uncertainty. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Sebastian Sardiña, Lavindra de Silva, Lin Padgham Hierarchical planning in BDI agent programming languages: a formal approach. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF BDI agent-oriented programming, HTN planning
1John Thangarajah, Lin Padgham, Sebastian Sardiña Modelling situations in intelligent agents. Search on Bibsonomy AAMAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF agent and multi-agent architectures, infrastructures and environments for agent systems, frameworks
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On the Semantics of Deliberation in Indigolog - from Theory to Implementation. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF models of agency, planning with, incomplete information, deliberation, agent programming
1Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque On Ability to Autonomously Execute Agent Programs with Sensing. Search on Bibsonomy AAMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Sebastian Sardiña, Steven Shapiro Rational action in agent programs with prioritized goals. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rational action, situation calculus, agent programming languages
1Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque, Sebastian Sardiña On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Giuseppe 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
1Sebastian Sardiña Local Conditional High-Level Robot Programs. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #88 of 88 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license