Eugenia Ternovska
- A Logic for Non-Monotone Inductive Definitions
2005/01/13 by Marc Denecker, Denecker, Marc, Eugenia Ternovska +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO