CINECA IRIS Institutional Research Information System

Achieving Completeness in Bounded Model Checking of Action Theories in ASP

MARTELLI, Alberto;
2012-01-01
2012
Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2012)
Roma
giugno 2012
Thirteenth International Conference on Principles of Knowledge Representation and Reasoning
Association for the Advancement of Artificial Intelligence
618
622
9781577355601
L. Giordano; A. Martelli; D. Theseider Dupré
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/101915
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact