Conference Proceedings uoadl:1001829 3049 Read counter
21. To preference via entrenchment
Conference Paper uoadl:104680322. Unknown but not undefined?
Conference Paper uoadl:104681323. On the role of interpolation in stepwise refinement
Conference Paper uoadl:104683624. Complexity of products of modal logics
Conference Paper uoadl:104684125. Trends in reasoning about action
Conference Paper uoadl:104684726. Linear programming based induction (LPI): a constraint logic programming elaboration
Conference Paper uoadl:104686027. Logic as a vehile for real life applications
Conference Paper uoadl:104686828. Logic-Based tools for legal contract drafting: prospects and problems
Conference Paper uoadl:104687829. Contraction can result in less uncertainty
Conference Paper uoadl:104688830. Modular logic programming and abstract data types
Conference Paper uoadl:104689331. Reductions of search space in RUE-Resolution theorem proving
Conference Paper uoadl:104689732. Reasoning about termination of tabled logic programs
Conference Paper uoadl:104690333. A set-oriented resolution method for recursive query processing
Conference Paper uoadl:104690734. Logics associated with complex systems
Conference Paper uoadl:104692135. Η Λογική των Μεγαρικών: μία άλλη εκδοχή του ελληνικού λόγου
Conference Paper uoadl:104692636. Ο Λογισμός των προτάσεων στους Στωικούς
Conference Paper uoadl:104693437. On the effects of training deductive reasoning
Conference Paper uoadl:104694438. Children's and adult's reasoning: logical necessity and pragmatic plausibility
Conference Paper uoadl:104695739. Is there a Logic of Abduction?
Conference Paper uoadl:104696340. Reflections on a category-theoretic approach to quantum mechanics
Conference Paper uoadl:1046968