CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
Extracting mutual exclusion invariants from lifted temporal planning domains
Author
Barnes
Bernardini
+50Â more
Bernardini
Bernardini
Bernardini
Bernardini
Blum
Bonet
Bäckström
Chen
Chien
Coles
Cushing
David E. Smith
Do
Edelkamp
Edelkamp
Edelkamp
Eyerich
Fabio Fagnani
Fikes
Fox
Fox
Fox
Frank
Fratini
Gerevini
Gerevini
Gerevini
Ghallab
Ghosh
Golden
Haslum
Helmert
Helmert
Helmert
Hoffmann
Howey
Huang
Iatauro
Kautz
Liu
McDermott
Muscettola
Pednault
Richter
Rintanen
Rintanen
Rintanen
Rintanen
Sara Bernardini
Vidal
Publication venue
'Elsevier BV'
Publication date
01/01/2018
Field of study
Get PDF
Crossref
Royal Holloway - Pure
PORTO@iris (Publications Open Repository TOrino - Politecnico di Torino)
Constraint-Based Algorithm for Computing Temporal Invariants
Author
J.R. Burch
M. Fox
S. Edelkamp
Publication venue
'Springer Science and Business Media LLC'
Publication date
01/01/2014
Field of study
No full text
Crossref