#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2012

2017

- This year (1)
- Last 5 years (5)
- Last 10 years (5)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Wael Yehia, Mikhail Soutchanski
- Description Logics
- 2012

In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and… (More)

- Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
- Description Logics
- 2012

In the reasoning about actions community, one of the most basic reasoning problems is the projection problem: the question whether a certain assertion holds after executing a sequence of actions. While undecidable for general action theories based on the situation calculus, the projection problem was shown to be decidable in two different restrictions of… (More)

- Mikhail Soutchanski, Wael Yehia
- Turing-100
- 2012

In the area of reasoning about actions, one of the key computational problems is the projection problem: to find whether a given logical formula is true after performing a sequence of actions. This problem is undecidable in the general situation calculus; however, it is decidable in some fragments. We consider a fragment P of the situation calculus and… (More)

- Wael Yehia, Mikhail Soutchanski
- ORE
- 2012

We evaluate HERMIT, an OWL2 reasoner, on a set of test cases that emerge from an unusual but very practical way of using Description Logics (DLs). In the field of reasoning about actions, the projection problem is an elemental problem that deals with answering whether a certain formula holds after doing a sequence of actions starting from some initial… (More)

In recent years a great deal of research efforts in ship hydromechanics have been devoted to practical navigation problems in moving larger ships safely into existing harbors and inland waterways. An area of particular concern is the prediction of ship squat in shallow or restricted waters at different speeds. Squat may cause grounding of the ship which… (More)

- ‹
- 1
- ›