Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Download search results Subscribe to news feed Your filters: cql: parent exact "IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE... Add to list Conference Paper P1 open access Non-truth-functional fibred semantics Carlos Caleiro and João Marcos de Almeida (2001) IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. 2. p.841-847 Add to list Conference Paper P1 open access Tableau systems for logics of formal inconsistency Walter A. Carnielli and João Marcos de Almeida (2001) IC-AI'2001 : PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III. 2. p.848-852