Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά

Πρακτικά Συνεδρίου uoadl:1001829 2945 Αναγνώσεις

Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Πρωτότυπος Τίτλος:
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Γλώσσες Τεκμηρίου:
Ελληνικά
Συλλογικό όργανο:
Πανεπιστήμιο Κύπρου. Τμήμα Μαθηματικών και Στατιστικής
Εκδότης:
Πανεπιστήμιο Κύπρου
Επιμελητής:
Κάκας, Αντώνης Κ.
Συναχοπούλου, Αννέτα
Έτος έκδοσης:
1997
Τόπος έκδοσης:
Λευκωσία, Κύπρος
Κύρια θεματική κατηγορία:
Φιλοσοφία
Λοιπές θεματικές κατηγορίες:
Λογική
Μαθηματικά
Πληροφορική
Εκπαίδευση
Θετικές Επιστήμες
Αριθμός σελίδων:
363
ISBN:
9963-607-11-X
Bib number:
504221
Ταξιθετικός αριθμός:
168 ΠΣΛ1997 π 1997

Φίλτρο

 

21. To preference via entrenchment

Άρθρο Συνεδρίου uoadl:1046803
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Γεωργάτος, Κωνσταντίνος
Κύρια θεματική κατηγορία:
Λογική

22. Unknown but not undefined?

Άρθρο Συνεδρίου uoadl:1046813
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Heule, Dirk van
Hoogewijs, Albert
Κύρια θεματική κατηγορία:
Λογική

23. On the role of interpolation in stepwise refinement

Άρθρο Συνεδρίου uoadl:1046836
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Δημητράκος, Θ.
Maibaum, Thomas S. E.
Κύρια θεματική κατηγορία:
Λογική

24. Complexity of products of modal logics

Άρθρο Συνεδρίου uoadl:1046841
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Maarten, Marx
Κύρια θεματική κατηγορία:
Λογική

25. Trends in reasoning about action

Άρθρο Συνεδρίου uoadl:1046847
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Πέππας, Πάυλος
Κύρια θεματική κατηγορία:
Λογική

26. Linear programming based induction (LPI): a constraint logic programming elaboration

Άρθρο Συνεδρίου uoadl:1046860
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Ποταµιάς, Γεώργιος
Κύρια θεματική κατηγορία:
Λογική

27. Logic as a vehile for real life applications

Άρθρο Συνεδρίου uoadl:1046868
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Σταματόπουλος, Παναγιώτης
Καράλη, Ιζαμπώ
Κύρια θεματική κατηγορία:
Λογική

28. Logic-Based tools for legal contract drafting: prospects and problems

Άρθρο Συνεδρίου uoadl:1046878
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Δασκαλοπούλου, Ασπασία
Κύρια θεματική κατηγορία:
Λογική

29. Contraction can result in less uncertainty

Άρθρο Συνεδρίου uoadl:1046888
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Giusto, Paolo di
Κύρια θεματική κατηγορία:
Λογική

30. Modular logic programming and abstract data types

Άρθρο Συνεδρίου uoadl:1046893
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Καράλη, Ιζαμπώ
Χαλάτσης, Κωνσταντίνος
Κύρια θεματική κατηγορία:
Λογική

31. Reductions of search space in RUE-Resolution theorem proving

Άρθρο Συνεδρίου uoadl:1046897
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Ράπτης, Δ.
Κύρια θεματική κατηγορία:
Λογική

32. Reasoning about termination of tabled logic programs

Άρθρο Συνεδρίου uoadl:1046903
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Σαγώνας, Κωνσταντίνος
Κύρια θεματική κατηγορία:
Λογική

33. A set-oriented resolution method for recursive query processing

Άρθρο Συνεδρίου uoadl:1046907
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Φουστούκου, Ευγενία
Κύρια θεματική κατηγορία:
Λογική

34. Logics associated with complex systems

Άρθρο Συνεδρίου uoadl:1046921
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Αντωνίου, Ιωάννης
Suchanecki, Z.
Κύρια θεματική κατηγορία:
Λογική

35. Η Λογική των Μεγαρικών: μία άλλη εκδοχή του ελληνικού λόγου

Άρθρο Συνεδρίου uoadl:1046926
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Κύρκος, Βασίλειος Α.
Κύρια θεματική κατηγορία:
Φιλοσοφία

36. Ο Λογισμός των προτάσεων στους Στωικούς

Άρθρο Συνεδρίου uoadl:1046934
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Παπαδοπετράκης, Ευτύχης
Κύρια θεματική κατηγορία:
Λογική

37. On the effects of training deductive reasoning

Άρθρο Συνεδρίου uoadl:1046944
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Βαλανίδης, Νικόλαος
Κύρια θεματική κατηγορία:
Λογική

38. Children's and adult's reasoning: logical necessity and pragmatic plausibility

Άρθρο Συνεδρίου uoadl:1046957
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Νατσόπουλος, Δημήτριος
Κουτσελίνη, Μαρία
Κιοσέογλου, Γρηγόρης
Κύρια θεματική κατηγορία:
Λογική

39. Is there a Logic of Abduction?

Άρθρο Συνεδρίου uoadl:1046963
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Ψύλλος, Στάθης
Κύρια θεματική κατηγορία:
Λογική

40. Reflections on a category-theoretic approach to quantum mechanics

Άρθρο Συνεδρίου uoadl:1046968
Μονάδα:
Σχολή Θετικών Επιστημών
Βιβλιοθήκη Σχολής Θετικών Επιστημών
Δημιουργός:
Γαλατούλας, Εμμανουήλ
Κύρια θεματική κατηγορία:
Λογική