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

Conference Proceedings uoadl:1001829 3049 Read counter

Unit:
School of Science
Library of the School of Science
Original Title:
Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
Languages of Item:
Greek
Collectivity:
University of Cyprus. Department of Mathematics and Statistics
Publisher:
Πανεπιστήμιο Κύπρου
Editor:
Kakas, Antonis Κ.
Sinachopoulos, Anneta
Year of publication:
1997
Place of publication:
Λευκωσία, Κύπρος
Main subject category:
Philosophy
Other subject categories:
Logic
Mathematics
Computer science
Education
Science
Number of pages:
363
ISBN:
9963-607-11-X
Bib number:
504221
Usher Number:
168 ΠΣΛ1997 π 1997

Φίλτρο

 

21. To preference via entrenchment

Conference Paper uoadl:1046803
Unit:
School of Science
Library of the School of Science
Creator:
Georgatos, Konstantinos
Main subject category:
Logic

22. Unknown but not undefined?

Conference Paper uoadl:1046813
Unit:
School of Science
Library of the School of Science
Creator:
Heule, Dirk van
Hoogewijs, Albert
Main subject category:
Logic

23. On the role of interpolation in stepwise refinement

Conference Paper uoadl:1046836
Unit:
School of Science
Library of the School of Science
Creator:
Dimitrakos, Theo
Maibaum, Thomas S. E.
Main subject category:
Logic

24. Complexity of products of modal logics

Conference Paper uoadl:1046841
Unit:
School of Science
Library of the School of Science
Creator:
Maarten, Marx
Main subject category:
Logic

25. Trends in reasoning about action

Conference Paper uoadl:1046847
Unit:
School of Science
Library of the School of Science
Creator:
Peppas, Pavlos
Main subject category:
Logic

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

Conference Paper uoadl:1046860
Unit:
School of Science
Library of the School of Science
Creator:
Potamias, George
Main subject category:
Logic

27. Logic as a vehile for real life applications

Conference Paper uoadl:1046868
Unit:
School of Science
Library of the School of Science
Creator:
Σταματόπουλος, Παναγιώτης
Karali, Isambo
Main subject category:
Logic

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

Conference Paper uoadl:1046878
Unit:
School of Science
Library of the School of Science
Creator:
Daskalopulu, Aspassia
Main subject category:
Logic

29. Contraction can result in less uncertainty

Conference Paper uoadl:1046888
Unit:
School of Science
Library of the School of Science
Creator:
Giusto, Paolo di
Main subject category:
Logic

30. Modular logic programming and abstract data types

Conference Paper uoadl:1046893
Unit:
School of Science
Library of the School of Science
Creator:
Karali, Isambo
Halatsis, Costas
Main subject category:
Logic

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

Conference Paper uoadl:1046897
Unit:
School of Science
Library of the School of Science
Creator:
Raptis, D.
Main subject category:
Logic

32. Reasoning about termination of tabled logic programs

Conference Paper uoadl:1046903
Unit:
School of Science
Library of the School of Science
Creator:
Sagonas, Konstantinos
Main subject category:
Logic

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

Conference Paper uoadl:1046907
Unit:
School of Science
Library of the School of Science
Creator:
Foustoucos, Eugenie
Main subject category:
Logic

34. Logics associated with complex systems

Conference Paper uoadl:1046921
Unit:
School of Science
Library of the School of Science
Creator:
Antoniou, Ioannis
Suchanecki, Z.
Main subject category:
Logic

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

Conference Paper uoadl:1046926
Unit:
School of Science
Library of the School of Science
Creator:
Kyrkos, Vasileios A.
Main subject category:
Philosophy

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

Conference Paper uoadl:1046934
Unit:
School of Science
Library of the School of Science
Creator:
Παπαδοπετράκης, Ευτύχης
Main subject category:
Logic

37. On the effects of training deductive reasoning

Conference Paper uoadl:1046944
Unit:
School of Science
Library of the School of Science
Creator:
Valanides, Nicolaos
Main subject category:
Logic

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

Conference Paper uoadl:1046957
Unit:
School of Science
Library of the School of Science
Creator:
Natsopoulos, D.
Koutselini, Maria
Kioseoglou, Grigoris
Main subject category:
Logic

39. Is there a Logic of Abduction?

Conference Paper uoadl:1046963
Unit:
School of Science
Library of the School of Science
Creator:
Psillos, Stathis
Main subject category:
Logic

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

Conference Paper uoadl:1046968
Unit:
School of Science
Library of the School of Science
Creator:
Galatoulas, Emmanuel
Main subject category:
Logic