Search results

Articles (5)

Journals (0)

1-5 of 5 results for Disjunctive temporal problems

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published May, 2012

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2014

Efficient DTPP solving with a reduction-based approach

Marco Maratea, Luca Pulina

Intelligenza Artificiale

Restricted accessResearch articleFirst published December 5, 2017

Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 1

A. Micheli

Intelligenza Artificiale

Restricted accessResearch articleFirst published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Restricted accessResearch articleFirst published June, 2014

The Interpretation of Dreams,and of Jokes

Matthew Hugh Erdelyi

Review of General Psychology

Search results

Articles (5)

Journals (0)

1-5 of 5 results for Disjunctive temporal problems

Sort by:

Relevance

Select all

Sort by:

Relevance

Restricted accessResearch articleFirst published May, 2012

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Restricted accessResearch articleFirst published February, 2014

Efficient DTPP solving with a reduction-based approach

Marco Maratea, Luca Pulina

Intelligenza Artificiale

Restricted accessResearch articleFirst published December 5, 2017

Disjunctive temporal networks with uncertainty via SMT: Recent results and directions 1

A. Micheli

Intelligenza Artificiale

Restricted accessResearch articleFirst published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Restricted accessResearch articleFirst published June, 2014

The Interpretation of Dreams,and of Jokes

Matthew Hugh Erdelyi

Review of General Psychology