Author of the publication

Assuring safety in air traffic control systems with argumentation and model checking.

, , , and . Expert Syst. Appl., (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Materialization of OWL Ontologies from Relational Databases: A Practical Approach., and . CACIC, volume 1184 of Communications in Computer and Information Science, page 285-301. Springer, (2019)Specification of the Schema of Spreadsheets for the Materialization of Ontologies from Integrated Data Sources., and . CACIC, volume 1409 of Communications in Computer and Information Science, page 247-262. Springer, (2020)Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming., , and . Inteligencia Artif., 11 (35): 11-22 (2007)A Query-By-Example Approach to Compose SPARQL Queries in the GF Framework for Ontology-Based Data Access., and . CACIC, volume 1778 of Communications in Computer and Information Science, page 211-226. Springer, (2022)Integrating Defeasible Argumentation and Machine Learning Techniques, and . CoRR, (2004)Assuring safety in air traffic control systems with argumentation and model checking., , , and . Expert Syst. Appl., (2016)Defeasible Reasoning in Web-Based Forms through Argumentation., , and . Int. J. Inf. Technol. Decis. Mak., 7 (1): 71-101 (2008)Reasoning with Inconsistent Ontologies through Argumentation., , and . Applied Artificial Intelligence, 24 (1&2): 102-148 (2010)Merging of Ontologies Using Belief Revision and Defeasible Logic Programming., and . Inteligencia Artif., 16 (52): 16-28 (2013)ONTOarg: A decision support framework for ontology integration based on argumentation., , and . Expert Syst. Appl., 40 (5): 1858-1870 (2013)