disjunctive temporal problems
Recently Published Documents

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Translation-based approaches for solving disjunctive temporal problems with preferences

Constraints ◽

10.1007/s10601-018-9293-6 ◽

2018 ◽

Vol 23 (4) ◽

pp. 383-402

Author(s):

Enrico Giunchiglia ◽

Marco Maratea ◽

Luca Pulina

Keyword(s):

Disjunctive Temporal Problems

Download Full-text

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

Artificial Intelligence ◽

10.1016/j.artint.2015.03.002 ◽

2015 ◽

Vol 224 ◽

pp. 1-27 ◽

Author(s):

Alessandro Cimatti ◽

Andrea Micheli ◽

Marco Roveri

Keyword(s):

Weak Controllability ◽

Disjunctive Temporal Problems

Download Full-text

A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences

AI*IA 2013: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03524-6_38 ◽

2013 ◽

pp. 445-456 ◽

Author(s):

Jean-Rémi Bourguet ◽

Marco Maratea ◽

Luca Pulina

Keyword(s):

Disjunctive Temporal Problems

Download Full-text

Solving disjunctive temporal problems with preferences using maximum satisfiability

AI Communications ◽

10.3233/aic-2012-0527 ◽

2012 ◽

Vol 25 (2) ◽

pp. 137-156 ◽

Author(s):

Marco Maratea ◽

Luca Pulina

Keyword(s):

Maximum Satisfiability ◽

Disjunctive Temporal Problems

Download Full-text

Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems

2008 15th International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2008.23 ◽

2008 ◽

Author(s):

Yuechang Liu ◽

Yunfei Jiang ◽

Hong Qian

Keyword(s):

Variable Ordering ◽

Disjunctive Temporal Problems

Download Full-text

Strong Controllability of Disjunctive Temporal Problems with Uncertainty

Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74970-7_64 ◽

2007 ◽

pp. 856-863 ◽

Author(s):

Bart Peintner ◽

Kristen Brent Venable ◽

Neil Yorke-Smith

Keyword(s):

Strong Controllability ◽

Disjunctive Temporal Problems

Download Full-text

Fuzzy Disjunctive Temporal Problems with Classes

2007 IEEE International Fuzzy Systems Conference ◽

10.1109/fuzzy.2007.4295641 ◽

2007 ◽

Author(s):

M. Falda

Keyword(s):

Disjunctive Temporal Problems

Download Full-text

Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems

14th International Symposium on Temporal Representation and Reasoning (TIME'07) ◽

10.1109/time.2007.50 ◽

2007 ◽

Author(s):

Yuechang Liu ◽

Hong Qian ◽

Yunfei Jiang

Keyword(s):

Disjunctive Temporal Problems

Download Full-text