1
Published 2005
Table of Contents: ...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Lectures -- Propositional Projection Temporal Logic, B chi Automata and ?-Regular Expressions -- Genome...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Solution -- Re-representation in a Logic-Based Model for Analogy Making -- Knowledge Generation...
View full text
Electronic eBook