Πρακτικά Συνεδρίου uoadl:1001829 3090 Αναγνώσεις
28. Computable and polynomially time computable real and p-adic numbers
Άρθρο Συνεδρίου uoadl:104633929. To preference via entrenchment
Άρθρο Συνεδρίου uoadl:104680330. Unknown but not undefined?
Άρθρο Συνεδρίου uoadl:104681331. On the role of interpolation in stepwise refinement
Άρθρο Συνεδρίου uoadl:104683632. Complexity of products of modal logics
Άρθρο Συνεδρίου uoadl:104684133. Trends in reasoning about action
Άρθρο Συνεδρίου uoadl:104684734. Linear programming based induction (LPI): a constraint logic programming elaboration
Άρθρο Συνεδρίου uoadl:104686035. Logic as a vehile for real life applications
Άρθρο Συνεδρίου uoadl:104686836. Logic-Based tools for legal contract drafting: prospects and problems
Άρθρο Συνεδρίου uoadl:104687837. Contraction can result in less uncertainty
Άρθρο Συνεδρίου uoadl:104688838. Modular logic programming and abstract data types
Άρθρο Συνεδρίου uoadl:104689339. Reductions of search space in RUE-Resolution theorem proving
Άρθρο Συνεδρίου uoadl:104689740. Reasoning about termination of tabled logic programs
Άρθρο Συνεδρίου uoadl:104690341. A set-oriented resolution method for recursive query processing
Άρθρο Συνεδρίου uoadl:104690742. Logics associated with complex systems
Άρθρο Συνεδρίου uoadl:104692143. Η Λογική των Μεγαρικών: μία άλλη εκδοχή του ελληνικού λόγου
Άρθρο Συνεδρίου uoadl:104692644. Ο Λογισμός των προτάσεων στους Στωικούς
Άρθρο Συνεδρίου uoadl:104693445. On the effects of training deductive reasoning
Άρθρο Συνεδρίου uoadl:104694446. Children's and adult's reasoning: logical necessity and pragmatic plausibility
Άρθρο Συνεδρίου uoadl:104695747. Is there a Logic of Abduction?
Άρθρο Συνεδρίου uoadl:1046963