- Application of bitemporal databases containing medical data12.Mariusz Giero - 2009 - In Dariusz Surowik (ed.), Logic in knowledge representation and exploration. Białystok: University of Białystok. pp. 193.details
|
|
Topological Foundations of Cognitive Science.Carola Eschenbach, Christopher Habel & Barry Smith (eds.) - 1984 - Hamburg: Graduiertenkolleg Kognitionswissenschaft.details
|
|
Learning to improve constraint-based scheduling.Monte Zweben, Eugene Davis, Brian Daun, Ellen Drascher, Michael Deale & Megan Eskey - 1992 - Artificial Intelligence 58 (1-3):271-296.details
|
|
Representing preferences using intervals.Meltem Öztürk, Marc Pirlot & Alexis Tsoukiàs - 2011 - Artificial Intelligence 175 (7-8):1194-1222.details
|
|
Causal reasoning with forces.Phillip Wolff & Aron K. Barbey - 2015 - Frontiers in Human Neuroscience 9.details
|
|
Modeling generalized implicatures using non-monotonic logics.Jacques Wainer - 2007 - Journal of Logic, Language and Information 16 (2):195-216.details
|
|
Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.details
|
|
A method for conceptualising legal domains. An example from the dutch unemployment benefits act.Pepijn Visser, Trevor Bench-Capon & Jaap van den Herik - 1997 - Artificial Intelligence and Law 5 (3):207-242.details
|
|
The token reification approach to temporal reasoning.Lluís Vila & Han Reichgelt - 1996 - Artificial Intelligence 83 (1):59-74.details
|
|
Reasoning about qualitative temporal information.Peter van Beek - 1992 - Artificial Intelligence 58 (1-3):297-326.details
|
|
Reasoning agents in a dynamic world: The frame problem.Jozsef A. Toth - 1995 - Artificial Intelligence 73 (1-2):323-369.details
|
|
Event, state, and process in arrow logic.Satoshi Tojo - 1999 - Minds and Machines 9 (1):81-103.details
|
|
Similarity of legal cases: From temporal relations of affairs. [REVIEW]Satoshi Tojo & Katsumi Nitta - 1997 - Artificial Intelligence and Law 5 (1-2):161-176.details
|
|
Ontology-based fusion of sensor data and natural language.Erik Thomsen & Barry Smith - 2018 - Applied ontology 13 (4):295-333.details
|
|
An axiomatic characterization of temporalised belief revision in the law.Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo & Guido Governatori - 2019 - Artificial Intelligence and Law 27 (4):347-367.details
|
|
Motivated action theory: a formal theory of causal reasoning.Lynn Andrea Stein & Leora Morgenstern - 1994 - Artificial Intelligence 71 (1):1-42.details
|
|
Intelligent tutoring systems.Mark Stefik - 1985 - Artificial Intelligence 26 (2):238-245.details
|
|
Backtracking algorithms for disjunctions of temporal constraints.Kostas Stergiou & Manolis Koubarakis - 2000 - Artificial Intelligence 120 (1):81-117.details
|
|
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.details
|
|
Nonmonotonic Reasoning and Causation.Yoav Shoham - 1990 - Cognitive Science 14 (2):213-252.details
|
|
Default reasoning about spatial occupancy.Murray Shanahan - 1995 - Artificial Intelligence 74 (1):147-163.details
|
|
A framework for knowledge-based temporal abstraction.Yuval Shahar - 1997 - Artificial Intelligence 90 (1-2):79-133.details
|
|
Ontological requirements for annotation and navigation of philosophical resources.Michele Pasin & Enrico Motta - 2011 - Synthese 182 (2):235-267.details
|
|
The rod and the crocodile. Temporal relations in textual hermeneutics: An application of Petri nets to semantics.Ephraim Nissan - 2011 - Semiotica 2011 (184):187-227.details
|
|
An approach to temporalised legal revision through addition of literals.Martín O. Moguillansky, Diego C. Martinez, Luciano H. Tamargo & Antonino Rotolo - forthcoming - Artificial Intelligence and Law:1-46.details
|
|
Back from the future.Andrea Masini, Luca Viganò & Marco Volpe - 2010 - Journal of Applied Non-Classical Logics 20 (3):241-277.details
|
|
The Logic of Time in Law and Legal Expert Systems.Ejan Mackaay, Daniel Poulin, Jacques Frémont, Paul Bratley & Constant Déniger - 1990 - Ratio Juris 3 (2):254-271.details
|
|
Exploiting patterns of interaction to achieve reactive behavior.D. M. Lyons & A. J. Hendriks - 1995 - Artificial Intelligence 73 (1-2):117-148.details
|
|
An Empirical and Computational Investigation of Perceiving and Remembering Event Temporal Relations.Shulan Lu, Derek Harter & Arthur C. Graesser - 2009 - Cognitive Science 33 (3):345-373.details
|
|
Two theories of time.Yunqing Lin - 1991 - Journal of Applied Non-Classical Logics 1 (1):37-63.details
|
|
Order-sorted logic programming with predicate hierarchy.Ken Kaneiwa - 2004 - Artificial Intelligence 158 (2):155-188.details
|
|
Deliberation for autonomous robots: A survey.Félix Ingrand & Malik Ghallab - 2017 - Artificial Intelligence 247 (C):10-44.details
|
|
Interpreting a dynamic and uncertain world: task-based control.Richard J. Howarth - 1998 - Artificial Intelligence 100 (1-2):5-85.details
|
|
A Review of Semantic Sensor Technologies in Internet of Things Architectures. [REVIEW]Gergely Marcell Honti & Janos Abonyi - 2019 - Complexity 2019:1-21.details
|
|
Tractable approximations for temporal constraint handling.Robin Hirsch - 2000 - Artificial Intelligence 116 (1-2):287-295.details
|
|
Modeling digital circuits for troubleshooting.Walter C. Hamscher - 1991 - Artificial Intelligence 51 (1-3):223-271.details
|
|
A logic of time, chance, and action for representing plans.Peter Haddawy - 1996 - Artificial Intelligence 80 (2):243-308.details
|
|
Temporal scenario modelling and recognition based on possibilistic logic.Michel Grabisch - 2003 - Artificial Intelligence 148 (1-2):261-289.details
|
|
A logic-based model of intention formation and action for multi-agent subcontracting.John Grant, Sarit Kraus & Donald Perlis - 2005 - Artificial Intelligence 163 (2):163-201.details
|
|
Changing legal systems: legal abrogations and annulments in Defeasible Logic.Guido Governatori & Antonino Rotolo - 2010 - Logic Journal of the IGPL 18 (1):157-194.details
|
|
Why Base the Knowledge Representation Language on Natural Language?F. Gomez - 2000 - Journal of Intelligent Systems 10 (2):161-182.details
|
|
Reasoning about action I.Matthew L. Ginsberg & David E. Smith - 1988 - Artificial Intelligence 35 (2):165-195.details
|
|
On point-based temporal disjointness.Alfonso Gerevini & Lenhart Schubert - 1994 - Artificial Intelligence 70 (1-2):347-361.details
|
|
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.details
|
|
Efficient algorithms for qualitative reasoning about time.Alfonso Gerevini & Lenhart Schubert - 1995 - Artificial Intelligence 74 (2):207-248.details
|
|
Operators vs. Arguments: The Ins and Outs of Reification.Antony Galton - 2006 - Synthese 150 (3):415-441.details
|
|
A critical examination of Allen's theory of action and time.Antony Galton - 1990 - Artificial Intelligence 42 (2-3):159-188.details
|
|
Visual Knowledge Representation of Moving Scenes.A. Chella, Μ Frixione & S. Gaglio - 2000 - Journal of Intelligent Systems 10 (4):377-404.details
|
|
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.details
|
|
Events and time in a finite and closed world.Francis Y. Lin - 2000 - Nordic Journal of Philosophical Logic 5 (1):3-24.details
|
|