LOG-IDEAH: ASP for architectonic asset preservation

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 17, Issue , 2012, Pages 393-403

  Novelli, Viviana ^a   De Vos, Marina ^b   Padget, Julian ^b   D'Ayala, Dina ^a  

^a University of Bath   (United Kingdom)

^b University of Bath   (United Kingdom)

Author keywords

Answer set programming; Knowledge representation; Structural engineering

Indexed keywords

ANSWER SET PROGRAMMING; COLLAPSE MECHANISM; CULTURAL HERITAGES; GEOGRAPHICAL AREA; NATURAL DISASTERS; RECOGNITION PROCESS; STRUCTURAL ENGINEER; VERIFICATION AND APPLICATION;

EARTHQUAKES; FORESTRY; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; STRUCTURAL DESIGN;

HISTORIC PRESERVATION;

CIVIL ENGINEERING; COMPUTER PROGRAMING; EARTH MOVEMENT; FORESTRY; STRUCTURAL ANALYSIS; STRUCTURAL DESIGN;

EID: 84880244011     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.ICLP.2012.393     Document Type: Conference Paper

References (10)

1. Chitta Baral. Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge, England, 2003.
2. D D'Ayala and E Speranza. Definition of collapse mechanisms and seismic vulnerability of historic masonry buildings. Earthquake Spectra, 19:479-509, August 2003.
3. D. F. D'Ayala. Force and displacement based vulnerability assessment for traditional buildings. Bulletin Of Earthquake Engineering, 3:235-265, December 2005.
4. Dina D'Ayala and Sara Paganoni. Assessment and analysis of damage in l'aquila historic city centre after 6th april 2009. Bulletin of Earthquake Engineering, 9:81-104, 2011. 10.1007/s10518-010-9224-4.
5. Marina De Vos, Doga Kiza, Johannes Oetsch, Jörg Pührer, and Hans Tompits. Annotating answer-set programs in lana. Theory and Practice of Logic Programming, 2012.
6. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), pages 406-417. Morgan Kaufmann, 1998.
7. M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub. Conflict-driven answer set solving. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 386-392. AAAI Press/The MIT Press, 2007.
8. Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Proceedings of the 5th International Conference and Symposium on Logic Programming, pages 1070-1080. MIT Press, 1988.
9. Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3-4):365-386, 1991.
10. Viviana Novelli and Dina D'Ayala. Seismic damage identification of cultural heritage assets. In Seismic Protection of Curtural Heritage, page 13, Antalya, Turkey, 2011.