Francesco added 8 papers 2012-02-18 04:09:24 -0800

Francesco followed the research interests: Automated Deduction, Automated Reasoning (Computer Science), Theorem-Proving, Tableaux, Logic, Semantic Web technology - Ontologies, Semantic Web Technologies... (6 more) Automated Deduction, Automated Reasoning (Computer Science), Theorem-Proving, Tableaux, Logic, Semantic Web technology - Ontologies, Semantic Web Technologies, Description logics, Nonmonotonic Reasoning and Belief Revision, Nonmonotonic Reasoning, Knowledge Representation and Reasoning (Computer Science), Artificial Intelligence, and Computer Science 2012-01-23 02:17:49 -0800

Francesco added 93 papers 2012-01-23 02:13:36 -0800