Peter Øhrstrøm

发表

Some Peircean Problems Regarding Graphs for Time and Modality

Peter Øhrstrøm, Jan Schmidt, Harmen van den Berg, 1994 .

First Things in Logic

Peter Øhrstrøm, Per F. V. Hasle., 2014 .

Report of IT case study 1: Research on Stored Information

Peter Øhrstrøm, Johan Dyhrberg, 2005 .

Text Retrieval

Gustavo Alonso, Martin Breunig, Vilém Novák, 2009, Encyclopedia of Database Systems.

Metric tense logic

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

Temporal Structure

Gustavo Alonso, Martin Breunig, Vilém Novák, 2009, Encyclopedia of Database Systems.

Review of Robert C. Moore: Logic and Representation

Peter Øhrstrøm, 1996 .

HANDS Deliverable D.4.3.1

Morten Aagaard, Peter Øhrstrøm, Henrik Schärfe, 2010 .

The Founder of Modern Temporal Logic: A.N. Prior (1914-1969)

Peter Øhrstrøm, Per F. V. Hasle., 2004 .

Determinism and the Origins of Temporal Logic YYYY No org found YYY

Torben Braüner, Peter Øhrstrøm, Per Hasle, 2000 .

HANDS Deliverable D7.4.1 Report on the Ethics of HANDS

Thomas Ploug, Peter Øhrstrøm, Søren Holm, 2011 .

The Logic of Time and Modality

Torben Braüner, Peter Øhrstrøm, Per F. V. Hasle., 2006 .

Temporal Logic

Peter Øhrstrøm, P. Øhrstrøm, 1994, Lecture Notes in Computer Science.

Temporal Association Mining

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

Time in Philosophical Logic

Peter Øhrstrøm, Per F. V. Hasle, 2009, Encyclopedia of Database Systems.

Counterfactuals and Branching Time in Automated Text Analysis

Peter Øhrstrøm, Per F. V. Hasle., 1992 .

Two paradigms of temporal logic

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

Scenario Assistant: Using a Tense Logical Language to Handle Scenarios Supporting Training of Coordination and Communication

Peter Øhrstrøm, Henning Boje Andersen, 1996 .

Two-Sorted First-Order Logic

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

Some basic systems of temporal logic

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

The Structure of Causal Reasoning in Medicine and Engineering

Peter Øhrstrøm, Stig Andur Pedersen, Morten Elvang-Göransen, 1994 .

Encyclopedia of Database Systems

Peter Øhrstrøm, Per F. V. Hasle., 2009 .

Intelligent Design: An Intellectual Challenge?

Peter Øhrstrøm, Maziar Haghpaidar Etemadi, 2007 .

Existential Graphs and Tense Logic

Peter Øhrstrøm, P. Øhrstrøm, 1996, ICCS.

Logical Models of Causal and Temporal reasoning

Peter Øhrstrøm, Per F. V. Hasle., Stig Andur Pedersen, 1992 .

Learning with Artificial Intelligence

Peter Øhrstrøm, Per F. V. Hasle., 1989 .

Richard of Lavenham's Analysis of the Future Contingency Problem Represented in Terms of Modern Tempo-Modal Logic

Peter Øhrstrøm, 2018 .

Reasoning About Plural Entities in a Temporal Logic

Peter Øhrstrøm, Per F. V. Hasle., 2011 .

Temporal logic and computer science

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

Persuasive Mobile Technology Developed for Young People with an Autism Diagnosis

Peter Øhrstrøm, 2012, Touching the Future Technology for Autism?.

A.N. Prior and the Development of Tense Logic

Peter Øhrstrøm, Per F. V. Hasle., 2003 .

The Logic of Time and Modality: Preface

Torben Braüner, Peter Øhrstrøm, Per F. V. Hasle., 2006 .

A. N. Prior’s Ideas on the Relation between Semantics and Axiomatics for Temporal Logic

Peter Øhrstrøm, 1997 .

Recent Advances in Tense Logic [annoteret udgave af Arthur N. Priors artikel]

Torben Braüner, Peter Øhrstrøm, Jack Copeland, 2003 .

Handbook of the History of Logic

Peter Øhrstrøm, Per F. V. Hasle., P. Øhrstrøm, 2006 .

Hands deliverable 1.3.4: Annual progress report

Morten Aagaard, Peter Øhrstrøm, Emil Paulsen, 2011 .

Tanal: A Prolog System for Supporting Text Analysis

Peter Øhrstrøm, Per F. V. Hasle., 1989 .

Introduction: Logic and the study of time

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

Design and Implementation of a Symptom Language used for Diagnosing Component Faults in a Nuclear Power Plant, RISØ-I-582

Peter Øhrstrøm, Finn R. Nielsen, 1991 .

Project Quality Plan

Peter Øhrstrøm, Ulrik Sandborg-Petersen, 2008 .

Simulations, Evaluations and Models (Proceedings of the Fourth MOHAWC Workshop)

Peter Øhrstrøm, Per F. V. Hasle., Stig Andur Pedersen, 1992 .

Graphs for time and modality

Peter Øhrstrøm, F. V. Per Hasle, 1995 .

C.S. Peirce on the Possibility of a Temporal Logic, WPCS-92-9

Peter Øhrstrøm, 1992 .

Tense logic and counterfactual reasoning

Peter Øhrstrøm, F. V. Per Hasle, 1995 .