Search results for "situation calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Fiora Pirri, Raymond Reiter	Some Contributions to the Metatheory of the Situation Calculus.	J. ACM	1999	DBLP DOI BibTeX RDF	programming languages for the situation calculus, theorem-proving, regression, situation calculus
3	Ryan F. Kelly, Adrian R. Pearce	Knowledge and observations in the situation calculus.	AAMAS	2007	DBLP DOI BibTeX RDF	observability, knowledge, action, situation calculus
3	Robert Demolombe, Erwan Hamon	What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	intentional attitude, situation calculus, formalisms and logics
3	Raymond Reiter	On knowledge-based programming with sensing in the situation calculus.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus
2	Jiuyun Xu, Wengong Yu, Kun Chen, Stephan Reiff-Marganiec	Web Services Feature Interaction Detection Based on Situation Calculus.	SERVICES	2010	DBLP DOI BibTeX RDF	Interaction Detection, Web services, Feature Interaction, OWL-S, Situation Calculus
2	Xiangyang Huang, Xiao Xin, Wenjun Wu	Representing Non-deterministic Actions within the Situation Calculus for Autonomous Characters.	IITSI	2010	DBLP DOI BibTeX RDF	non-deterministic actions, epistemic fluent, situation calculus, linguistic variable
2	David England, Martin Randles, A. Taleb-Bendiab	Runtime user interface design and adaptation.	BCS HCI	2009	DBLP DOI BibTeX RDF	user interface description, situation calculus, runtime adaptation
2	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
2	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
2	Alexander Ferrein, Stefan Schiffer 0002, Gerhard Lakemeyer	A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus.	ICIRA	2008	DBLP DOI BibTeX RDF
2	Shilun Ge, Nan Ren, Hong Miao	A Research on Data Modeling of Enterprises Based on Control System.	CONFENIS	2007	DBLP DOI BibTeX RDF	Data criterion, Data model, Control system, Enterprise information system (EIS), Situation calculus
2	James D. Jones, Susanna Badiola, Daley Seeker	A Preliminary Discussion of Fluents for Knowledge Representation in a Meta-Reasoner for Enterprise Information Systems.	CONFENIS	2007	DBLP DOI BibTeX RDF	Meta-reasoning, Artificial intelligence, Logic programming, Situation calculus
2	Bing Li, Junichi Iijima	A Hybrid Approach for Business Process Verification.	CONFENIS	2007	DBLP DOI BibTeX RDF	Business process verification, Situation calculus, XPDL
2	Robert Demolombe, Maria del Pilar Pozos Parra	Belief Revision in the Situation Calculus Without Plausibility Levels.	ISMIS	2006	DBLP DOI BibTeX RDF
2	Mehul Bhatt, J. Wenny Rahayu, Gerald Sterling	A Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
2	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
2	Yisong Liu, Lili Dong, Yamin Sun	Cooperation Model of Multi-agent System Based on the Situation Calculus.	IAT	2006	DBLP DOI BibTeX RDF
2	Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Alfonso Urso	A Logical Architecture for Active Network Management.	J. Network Syst. Manage.	2006	DBLP DOI BibTeX RDF	Network ontology, Intelligent systems, Situation calculus, Programmable networks
2	Laurence Cholvy, Christophe Garion, Claire Saurel	Ability in a Multi-agent Context: A Model in the Situation Calculus.	CLIMA	2005	DBLP DOI BibTeX RDF
2	Robert Demolombe, Ana María Otermin Fernandez	Intention Recognition in the Situation Calculus and Probability Theory Frameworks.	CLIMA	2005	DBLP DOI BibTeX RDF
2	Chunping Li	Representing the Process Semantics in the Situation Calculus.	RSFDGrC	2005	DBLP DOI BibTeX RDF
2	Pablo Sáez	Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus.	MICAI	2005	DBLP DOI BibTeX RDF
2	Robert Demolombe, Maria del Pilar Pozos Parra	The Chisholm Paradox and the Situation Calculus.	ISMIS	2005	DBLP DOI BibTeX RDF
2	Ken Nariai, Incheon Paik, Mitsuteru Shinozawa	Planning and Composition of Web Services with Dynamic Constraints Using Situation Calculus.	CIT	2005	DBLP DOI BibTeX RDF
2	Robert Demolombe, Ana María Otermin Fernandez	Recognition of the intention to perform a procedure: a method based on probabilities.	AAMAS	2005	DBLP DOI BibTeX RDF	probability theory, situation calculus, intention recognition
2	Oliver Schulte, James P. Delgrande	Representing von Neumann-Morgenstern Games in the Situation Calculus.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	reasoning about actions and change, game theory, knowledge representation, multiagent systems, decision theory
2	Robert Demolombe, Andreas Herzig	Obligation Change in Dependence Logic and Situation Calculus.	DEON	2004	DBLP DOI BibTeX RDF
2	Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe	Theories of Intentions in the Framework of Situation Calculus.	DALT	2004	DBLP DOI BibTeX RDF
2	Frank Dylla, Reinhard Moratz	Exploiting Qualitative Spatial Neighborhoods in the Situation Calculus.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
2	Cédric Jacquiot, Yolaine Bourda, Fabrice Popineau	GEAHS: A Generic Educational Adaptive Hypermedia System Based on Situation Calculus.	AH	2004	DBLP DOI BibTeX RDF
2	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
2	Luís Mota, Luís Miguel Botelho, Hugo Mendes, António Lopes	O3F: an object oriented ontology framework.	AAMAS	2003	DBLP DOI BibTeX RDF	FIPA SL, action methods, arbitrary axioms, ontology representation framework, ontology, situation calculus
2	Giuseppe Di Fatta, Salvatore Gaglio, Giuseppe Lo Presti, Giuseppe Lo Re, I. Selvaggio	Distributed Intelligent Management of Active Networks.	AI*IA	2003	DBLP DOI BibTeX RDF	Distributed Intelligent Systems, Network Management, Automated Reasoning, Situation Calculus
2	Dimitrios Vogiatzis, Andreas Stafylopatis	Mapping the Growing Neural Gas to Situation Calculus.	ICANN	2002	DBLP DOI BibTeX RDF
2	Jorge A. Baier	On Procedure Recognition in the Situation Calculus.	SCCC	2002	DBLP DOI BibTeX RDF
2	Patrick Blackburn, Jaap Kamps, Maarten Marx	Situation Calculus as Hybrid Logic: First Steps.	EPIA	2001	DBLP DOI BibTeX RDF
2	Antonio Chella, Marcello Frixione, Salvatore Gaglio	Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces.	AI*IA	2001	DBLP DOI BibTeX RDF
2	Gero Iwan	History-Based Diagnosis Templates in the Framework of the Situation Calculus.	KI/ÖGAI	2001	DBLP DOI BibTeX RDF
2	Pedro A. de Matos, João P. Martins	Non-situation Calculus and Database Systems.	FoIKS	2000	DBLP DOI BibTeX RDF
2	Stephen Zimmerbaum, Richard B. Scherl	Sensing Actions, Time, and Concurrency in the Situation Calculus.	ATAL	2000	DBLP DOI BibTeX RDF
2	John Funge	Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents.	Reliable Computing	1999	DBLP DOI BibTeX RDF
2	Fangzhen Lin, Kewen Wang	From Causal Theories to Logic Programs (Sometimes).	LPNMR	1999	DBLP DOI BibTeX RDF	disjunctive logic programs with classical negation, causal theories of actions, situation calculus
2	Eugenia Ternovskaia	Inductive Definability and the Situation Calculus.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
2	Richard B. Scherl, Michael Bieber, Fabio Vitali	A Situation Calculus Model of Hypertext. (PDF / PS)	HICSS	1998	DBLP DOI BibTeX RDF
2	Tyrone O'Neill, Norman Y. Foo	Belief Update, the Markovian Situation Calculus, and Discrete Event Systems.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
2	Norman Y. Foo, Pavlos Peppas, Yan Zhang	Inductive Properties of States.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF	induction, actions, states, automaton, situation calculus
2	Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam	Automating Proofs of Integrity Constraints in Situation Calculus.	ISMIS	1996	DBLP DOI BibTeX RDF
1	Stefan Schiffer 0002, Alexander Ferrein, Gerhard Lakemeyer	Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus.	Journal of Intelligent and Robotic Systems	2012	DBLP DOI BibTeX RDF
1	Li Tan	A Well-typed Lightweight Situation Calculus	CoRR	2012	DBLP BibTeX RDF
1	Jianbing Ma, Weiru Liu, Paul Miller	Belief change with noisy sensing in the situation calculus	CoRR	2012	DBLP BibTeX RDF
1	Joohyung Lee, Ravi Palla	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.	J. Artif. Intell. Res. (JAIR)	2012	DBLP DOI BibTeX RDF
1	Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima	From Situation Calculus to Dynamic Epistemic Logic.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
1	Gerhard Lakemeyer, Hector J. Levesque	A semantic characterization of a useful fragment of the situation calculus with knowledge.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Alfredo Gabaldon	Non-Markovian control in the Situation Calculus.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Fiora Pirri	The well-designed logical robot: Learning and experience from observations to the Situation Calculus.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Steven Shapiro, Maurice Pagnucco, Yves Lespérance, Hector J. Levesque	Iterated belief change in the situation calculus.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Yongmei Liu, Ximing Wen	On the Progression of Knowledge in the Situation Calculus.	IJCAI	2011	DBLP BibTeX RDF
1	Timothy Cerexhe, Maurice Pagnucco	Executability in the Situation Calculus.	Australasian Conference on Artificial Intelligence	2011	DBLP DOI BibTeX RDF
1	Jianbing Ma, Weiru Liu, Paul Miller	Belief change with noisy sensing in the situation calculus.	UAI	2011	DBLP BibTeX RDF
1	Jun Zhao, Xiaozhu Gu	Applications of Norm and Situation Calculus in the Semantic Web Service Composition.	JSEA	2010	DBLP DOI BibTeX RDF
1	Gerhard Lakemeyer	The Situation Calculus: A Case for Modal Logic.	Journal of Logic, Language and Information	2010	DBLP DOI BibTeX RDF
1	Ryan F. Kelly, Adrian R. Pearce	Property persistence in the situation calculus.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
1	Iluju Kiringa, Alfredo Gabaldon	Synthesizing advanced transaction models using the situation calculus.	J. Intell. Inf. Syst.	2010	DBLP DOI BibTeX RDF
1	Yilan Gu, Mikhail Soutchanski	A description logic based situation calculus.	Ann. Math. Artif. Intell.	2010	DBLP DOI BibTeX RDF
1	Juan Carlos Nieves, Dario Garcia, Montse Aulinas, Ulises Cortés	Using Situation Calculus for Normative Agents in Urban Wastewater Systems.	PAAMS	2010	DBLP DOI BibTeX RDF
1	Xing Tan, Michael Gruninger	Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective.	Web Intelligence	2010	DBLP DOI BibTeX RDF
1	Xing Tan	SCOPE: A Situation Calculus Ontology of Petri Nets.	FOIS	2010	DBLP DOI BibTeX RDF
1	Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce	Situation Calculus Based Programs for Representing and Reasoning about Game Structures.	KR	2010	DBLP BibTeX RDF
1	Vaishak Belle, Gerhard Lakemeyer	Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.	AAAI	2010	DBLP BibTeX RDF
1	Joohyung Lee, Ravi Palla	Situation Calculus as Answer Set Programming.	AAAI	2010	DBLP BibTeX RDF
1	Robert Demolombe, Pilar Pozos Parra	Integrating State Constraints and Obligations in Situation Calculus.	Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial	2009	DBLP BibTeX RDF
1	Martin Randles, David England, A. Taleb-Bendiab	Task Modelling Using Situation Calculus.	TAMODIA	2009	DBLP DOI BibTeX RDF
1	Alexandros Belesiotis, Michael Rovatsos, Iyad Rahwan	A Generative Dialogue System for Arguing about Plans in Situation Calculus.	ArgMAS	2009	DBLP DOI BibTeX RDF
1	Shashank Shanbhag, Xin Huang, Santosh Proddatoori, Tilman Wolf	Automated Service Composition in Next-Generation Networks.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
1	Gerhard Lakemeyer, Hector J. Levesque	A Semantical Account of Progression in the Presence of Defaults.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
1	Minsoo Kim 0001, Minkoo Kim	A Formal Definition of Situation towards Situation-Aware Computing.	WSKS	2009	DBLP DOI BibTeX RDF	Situation-Aware Computing, Context-aware Computing, Situation
1	Ronald P. A. Petrick	Cartesian Situations and Knowledge Decomposition in the Situation Calculus.	KR	2008	DBLP BibTeX RDF
1	Ryan F. Kelly, Adrian R. Pearce	Complex Epistemic Modalities in the Situation Calculus.	KR	2008	DBLP BibTeX RDF
1	Yongmei Liu	A Formalization of Program Debugging in the Situation Calculus.	AAAI	2008	DBLP BibTeX RDF
1	Stavros Vassos, Hector J. Levesque	On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.	AAAI	2008	DBLP BibTeX RDF
1	Zhou Shengming, Liao Yuanxiu	Sensing Action and Knowledge Reasoning Independent of Designer.	CSSE	2008	DBLP DOI BibTeX RDF
1	Freddy Lécué, Alain Léger, Alexandre Delteil	DL Reasoning and AI Planning for Web Service Composition.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Nikos Papadakis, Dimitris Plexousakis, Grigoris Antoniou, Manolis Daskalakis, Yannis Christodoulou	The Ramification Problem in Temporal Databases: A Solution Implemented in SQL.	ISMIS	2008	DBLP DOI BibTeX RDF
1	Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer	Repairing Decision-Theoretic Policies Using Goal-Oriented Planning.	KI	2008	DBLP DOI BibTeX RDF
1	Tran Cao Son, Enrico Pontelli	Some Results on the Completeness of Approximation Based Reasoning.	PRICAI	2008	DBLP DOI BibTeX RDF
1	Viorica R. Chifu, Ioan Salomie, Simona Manole	Fluent Calculus Based Web Service Composition.	RR	2008	DBLP DOI BibTeX RDF
1	Steven Shapiro, Yves Lespérance, Hector J. Levesque	Goal Change in the Situation Calculus.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
1	Mark Hopkins, Judea Pearl	Causality and Counterfactuals in the Situation Calculus.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
1	Marc Denecker, Eugenia Ternovska	Inductive situation calculus.	Artif. Intell.	2007	DBLP DOI BibTeX RDF
1	Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez	Planning using situation calculus, prolog and a mobile robot.	LA-NMR	2007	DBLP BibTeX RDF
1	Ryan F. Kelly, Adrian R. Pearce	Property Persistence in the Situation Calculus.	IJCAI	2007	DBLP BibTeX RDF
1	Yilan Gu, Mikhail Soutchanski	Decidable Reasoning in a Modified Situation Calculus.	IJCAI	2007	DBLP BibTeX RDF
1	Stavros Vassos, Hector J. Levesque	Progression of Situation Calculus Action Theories with Incomplete Information.	IJCAI	2007	DBLP BibTeX RDF
1	Bing Li, Junichi Iijima	Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification.	MSVVEIS	2007	DBLP BibTeX RDF
1	Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer	A Situation-Calculus Semantics for an Expressive Fragment of PDDL.	AAAI	2007	DBLP BibTeX RDF
1	Xiaojun Ding, Junichi Iijima	Toward a Logical Architecture for Situation Dependent Information Services with Surrounding Awareness.	GCC	2007	DBLP DOI BibTeX RDF
1	Nikos Papadakis, Grigoris Antoniou, Dimitris Plexousakis	The Ramification Problem in Temporal Databases: Concurrent Execution with Conflicting Constraints.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Andrea Calì, Thomas Lukasiewicz	Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web.	ICLP	2007	DBLP DOI BibTeX RDF
1	Gabriel Jakobson, John F. Buford, Lundy Lewis	Situation Management: Basic Concepts and Approaches.	IF&GIS	2007	DBLP DOI BibTeX RDF
1	Conrad Drescher, Michael Thielscher	Integrating Action Calculi and Description Logics.	KI	2007	DBLP DOI BibTeX RDF