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