Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-11

Planning as satisfiability with IPC simple preferences and action costs

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-5

Exploiting macro-actions and predicting plan length in planning as satisfiability

Alfonso Emilio Gerevini, Alessandro Saetti, Mauro Vallati

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2016

Probabilistic interactive fuzzy satisfying generation and transmission expansion planning using fuzzy adaptive chaotic binary PSO algorithm

H. Doagou-Mojarrad, H. Rastegar, G.B. Gharehpetian

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2023-6

OMTPlan: A Tool for Optimal Planning Modulo Theories

Francesco Leofante

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Other

First published 2006-2

Efficient decision procedures for the integration of planning and formal verification in advanced systems

Marco Maratea

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-9

A mine planning model to satisfy long-term grade targets

J. E. Everett, M. Rimes

Applied Earth Science: Transactions of the Institutions of Mining and Metallurgy

Open access

Research article

First published 2009-2

Stressing Symbolic Scheduling Techniques within Aircraft Maintenance Optimization

Viviana Bruno, Luz Garcia, Sergio Nocco [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2024-12

A resilient inter-organizational workflow assignment plan selection approach: Application to a digital health use case

Boughrous Monsef, El Bakkali Hanan

International Journal of Engineering Business Management

Retricted access

Other

First published 2011-8

LTL model-checking for security protocols

Roberto Carbone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2000-7

Happy with Health Care?

Ruy Teixeira

International Journal of Social Determinants of Health and Health Services

Search results