Home Contact Research Publications Teaching Software Credits

Research

Research Interests

Necessarily incomplete, and in no particular order:

Artificial Intelligence, in particular Logic-Based Artificial Intelligence
Logic Programming
Deductive Databases
Nonmonotonic Reasoning
Planning
Computational Complexity
Algorithms
Preferences

Curriculum Vitae

A usually up-to-date CV is available as Gnuzipped Postscript and PDF.

Editor

Editorial Board for Journal of Artificial Intelligence Research (7/2012 - )
Editorial Board for Advances in Artificial Intelligence
Editorial Board for Conference Papers in Computer Science
Guest Editor for Theory and Practice of Logic programming
Reviewer for Zentralblatt MATH

Programme Chair

2nd Workshop on Trends and Applications of Answer Set Programming (TAASP 2018) (Steering Committee/Chair)
12th International Rule Challenge 2018 (Chair)
1st Workshop on Trends and Applications of Answer Set Programming (TAASP 2016) (Chair)
9th International Conference on Web Reasoning and Rule Systems (RR 2015) (General Chair)
7th International Conference on Web Reasoning and Rule Systems (RR2013)
11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2011)
25th Italian Conference on Computational Logic (CILC 2010)
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2009
Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2008

Programme Committees

33rd AAAI Conference on Artificial Intelligence (AAAI-19)
34th ACM/SIGAPP Symposium On Applied Computing, Track on Knowledge Representation and Reasoning (KRR@SAC 2019)
16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019)
21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019)
17th International Workshop on Non-Monotonic Reasoning (NMR 2018)
2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)
27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18)
25th RCRA International Workshop (RCRA-18)
33rd Italian Conference on Computational Logic (CILC 2018)
4th Global Conference on Artificial Intelligence (GCAI-2018)
11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018)
16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018)
14th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2018)
32nd AAAI Conference on Artificial Intelligence (AAAI-18)
20th Symposium on Practical Aspects of Declarative Languages (PADL 2018)
24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2017)
3rd Global Conference on Artificial Intelligence (GCAI 2017)
33rd International Conference on Logic Programming (ICLP 2017)
26th International Joint Conference on Artificial Intelligence (IJCAI-17)
13th Reasoning Web Summer School (RW2017)
International Joint Conference on Rules and Reasoning (RuleML+RR 2017)
13th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2017)
10th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2017)
14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017)
21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21)
International Workshop on Logic-Based Formalisms for Legal Reasoning (LBFLR-2017)
31st AAAI Conference on Artificial Intelligence (AAAI-17)
23rd RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2016)
9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016)
15th European Conference on Logics in Artificial Intelligence (JELIA 2016)
2nd Global Conference on Artificial Intelligence (GCAI 2016)
32nd International Conference on Logic Programming (ICLP 2016)
25th International Joint Conference on Artificial Intelligence (IJCAI-16), senior PC
12th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2016)
16th International Workshop on Non-Monotonic Reasoning (NMR 2016)
15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)
30th AAAI Conference on Artificial Intelligence (AAAI-16)
8th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2015)
1st Global Conference on Artificial Intelligence (GCAI 2015)
14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)
31st International Conference on Logic Programming (ICLP 2015)
9th International Web Rule Symposium (RuleML 2015)
24th International Joint Conference on Artificial Intelligence (IJCAI-15), KR track
30th Italian Conference on Computational Logic (CILC 2015)
11th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2015)
29th National Conference on Artificial Intelligence (AAAI-15)
8th International Conference On Web Reasoning And Rule Systems (RR 2014)
14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
21st European Conference on Artificial Intelligence (ECAI 2014)
7th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2014)
4th Workshop on Logic and Search (LaSh 2014)
14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014)
15th International Workshop on Non-Monotonic Reasoning (NMR 2014)
http://rcra.aixia.it/rcra201421st RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2014)
29th Italian Conference on Computational Logic (CILC 2014)
6th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
28th Italian Conference on Computational Logic (CILC 2013)
20th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" (RCRA 2013)
29th International Conference on Logic Programming (ICLP 2013)
13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)
23rd International Joint Conference on Artificial Intelligence (IJCAI-13)
26th Workshop on Logic Programming (WLP 2012)
5th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2012)
4th Workshop on Logic and Search (LaSh'12)
Doctoral Consortium at the 6th International Conference on Web Reasoning and Rule Systems
20th European Conference on Artificial Intelligence (ECAI 2012)
26th National Conference on Artificial Intelligence (AAAI-12)
14th International Workshop on Non-Monotonic Reasoning (NMR 2012)
13th International Conference on the Principles of Knowledge Representation and Reasoning (KR2012)
38th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2012)
25th Workshop on Logic Programming (WLP 2011)
26th Italian Conference on Computational Logic (CILC 2011)
18th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2011)
4th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2011)
Second International Workshop on Logic-Based Interpretation of Context: Modeling and Applications (Log-IC 2011)
25th National Conference on Artificial Intelligence (AAAI-11)
Tutorial Forum of the 25th National Conference on Artificial Intelligence
22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
Nonmonotonic Reasoning at 30 (NMR@30 2010)
12th European Conference on Logics in Artificial Intelligence (JELIA 2010)
26th International Conference on Logic Programming (ICLP 2010)
3rd Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2010)
The 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2009)
First International Workshop on Logic-Based Context Interpretation: Modelling and Applications (Log-IC 2009)
2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)
10th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'09)
21st International Joint Conference on Artificial Intelligence (IJCAI-09)
2nd International Workshop on Logic and Search (LaSh 2008)
12th International Workshop on Non-Monotonic Reasoning (NMR08)---Special Session on Applications
11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)
12th Conference of the Spanish Association for Artificial Intelligence (CAEPIA'07)
The 14th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2007)
22nd AAAI Conference on Artificial Intelligence (AAAI-07)
1st Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007)
1st International Workshop on Software Engineering for Answer Set Programming (SEA'07)
9th International Conference on Logic Programming and Nonmonotonic Reasoning
17th European Conference on Artificial Intelligence (ECAI-2006)
Doctoral Consortium of the 22nd International Conference on Logic Programming (ICLP'06)
Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale (RCRA 2006)
11th International Workshop on Non-Monotonic Reasoning (NMR 2006)---Special Session on Answer Set Programming
11th Conference of the Spanish Association for Artificial Intelligence (CAEPIA'05)
INFOMIX Workshop on Data Integration 2005
8th International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR'05)
Giornata di Lavoro: Analisi sperimentale e benchmark di algoritmi di Intelligenza Artificiale (RCRA 2005)
10th International Workshop on Non-Monotonic Reasoning (NMR 2004)---Subworkshop on Computational Aspects of Non-monotonic Reasoning
8th European Conference on Logics in Artificial Intelligence (JELIA'02)

	Home
Copyright © 1995-2021 Wolfgang Faber.