Search results for "theories-of-action"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Mikhail Prokopenko	A preferential semantics for causal reasoning about action.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06
25	Tony Moynihan	Requirements-Uncertainty: Should It Be a Latent, Aggregate or Profit Construct?	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	requirements-uncertainty, theories-of-action, contingency-theory, software project management
22	Wojciech Buszkowski	On Action Logic: Equational Theories of Action Algebras.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
20	Wojciech Buszkowski, Ewa Palka	Infinitary Action Logic: Complexity, Models and Grammars.	Stud Logica	2008	DBLP DOI BibTeX RDF	action algebra, relation algebra, Kleene algebra, categorial grammar
19	Norman Y. Foo, Pavlos Peppas	System Properties of Action Theories.	AIS	2004	DBLP DOI BibTeX RDF
16	Marcella Faria	Two theories of action - Edelman's Neuronal group Selection and the Poetics of Paul Valéry.	Biosyst.	2021	DBLP DOI BibTeX RDF
16	Hannes Strass, Michael Thielscher	Simple Default Reasoning in Theories of Action.	Australasian Conference on Artificial Intelligence	2009	DBLP DOI BibTeX RDF
16	Jérôme Lang, Fangzhen Lin, Pierre Marquis	Causal Theories of Action: A Computational Core.	IJCAI	2003	DBLP BibTeX RDF
16	Tony Moynihan	Coping with client-based 'people-problems': the theories-of-action of experienced IS/software project managers.	Inf. Manag.	2002	DBLP DOI BibTeX RDF
16	Pavlos Peppas, Costas D. Koutras, Mary-Anne Williams	Prolegomena to Concise Theories of Action.	Stud Logica	2001	DBLP DOI BibTeX RDF
16	Tony Moynihan	Coping with 'requirements-uncertainty': the theories-of-action of experienced IS/software project managers.	J. Syst. Softw.	2000	DBLP DOI BibTeX RDF
16	Tony Moynihan	Coping with 'requirements-uncertainty': The theories-of-action of experienced IS project managers.	IRMA Conference	2000	DBLP BibTeX RDF
16	Robert P. Goldman, Chitta Baral	Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control.	Knowl. Eng. Rev.	1998	DBLP DOI BibTeX RDF
16	Norman McCain, Hudson Turner	Causal Theories of Action and Change.	AAAI/IAAI	1997	DBLP BibTeX RDF
16	Steffen Hölldobler	Equational Logic and Theories of Action.	APPIA-GULP-PRODE	1996	DBLP BibTeX RDF
16	Javier Pinto	Using histories to model observations in theories of action.	PRICAI Workshops	1996	DBLP DOI BibTeX RDF
16	Fangzhen Lin, Yoav Shoham	Provably Correct Theories of Action.	J. ACM	1995	DBLP DOI BibTeX RDF	concurrent actions, temporal reasoning, reasoning about actions, frame problem
16	Alvaro del Val, Yoav Shoham	Deriving properties of belief update from theories of action.	J. Log. Lang. Inf.	1994	DBLP DOI BibTeX RDF
16	Alvaro del Val, Yoav Shoham	Deriving Properties of Belief Update from Theories of Action (II).	IJCAI	1993	DBLP BibTeX RDF
16	Alvaro del Val, Yoav Shoham	Deriving Properties of Belief Update from Theories of Action.	AAAI	1992	DBLP BibTeX RDF
16	Fangzhen Lin, Yoav Shoham	Provably Correct Theories of Action (Preliminary Report).	AAAI	1991	DBLP BibTeX RDF
16	Vladimir Lifschitz, Arkady Rabinov	Miracles in Formal Theories of Action.	Artif. Intell.	1989	DBLP DOI BibTeX RDF
16	Paul R. Cohen, David S. Day	The centrality of autonomous agents in theories of action under uncertainty.	Int. J. Approx. Reason.	1988	DBLP DOI BibTeX RDF
16	Witold Lukaszewicz	Chronological Minimization of Abnormality: Simple Theories of Action.	ECAI	1988	DBLP BibTeX RDF
16	Vladimir Lifschitz	Formal Theories of Action (Preliminary Report).	IJCAI	1987	DBLP BibTeX RDF
12	Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos	Monitoring and diagnosing software requirements.	Autom. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Diagnostics, Requirement monitoring
12	Jorge A. Baier, Javier Pinto	Integrating True Concurrency into the Robot Programming Language.	SCCC	1999	DBLP DOI BibTeX RDF	Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
12	José M. Ramírez	Analysis of Agent Programs Using Action Models.	IBERAMIA	1998	DBLP DOI BibTeX RDF
9	Yiqiao Wang 0001, Sheila A. McIlraith, Yijun Yu, John Mylopoulos	An automated approach to monitoring and diagnosing requirements.	ASE	2007	DBLP DOI BibTeX RDF	diagnostics, requirements monitoring
9	Roberta Ferrario	Counterfactual Reasoning.	CONTEXT	2001	DBLP DOI BibTeX RDF
9	Jixin Ma 0001, Brian Knight, Taoxin Peng	Representing Temporal Relationships between Events and their Effects.	TIME	1997	DBLP DOI BibTeX RDF
9	Eric S. K. Yu, John Mylopoulos, Yves Lespérance	AI Models for Business Process Reengineering.	IEEE Expert	1996	DBLP DOI BibTeX RDF