Funder
Fundação para a Ciência e a Tecnologia
NOVA Laboratory for Computer Science and Informatics
Subject
Applied Mathematics,Artificial Intelligence,Theoretical Computer Science,Software
Reference38 articles.
1. On the logic of theory change: partial meet contraction and revision functions;Alchourrón;J. Symb. Log.,1985
2. Dynamic updates of non-monotonic knowledge bases;Alferes;J. Log. Program.,2000
3. Binary Functions for Theory Change;Becher,1999
4. On the logic of iterated non-prioritised revision;Booth,2002
5. Admissible and restrained revision;Booth;J. Artif. Intell. Res.,2006