What is the translation of " LOGIC PROGRAMMING " in Greek?

• λογικό προγραμματισμό
• logic programming
• λογικός προγραμματισμός
• λογικού προγραμματισμού

Examples of using Logic programming in English and their translations into Greek

Logic programming languages.
Γλώσσες λογικού προγραμματισμού.

Inductive Logic Programming.
Επαγωγικός λογικός προγραμματισμός.

The Business Rules Semantic Web and Logic Programming.
Των Business Rules Semantic Web και Logic Programming.

The most well-known logic programming language is Prolog.
Γνωστή γλώσσα λογικού προγραμματισμού είναι η PROLOG.

Reasoning systems, theorem provers, logic programming.
Συστήματα συλλογιστικής, αποδείκτες θεωρημάτων, λογικός προγραμματισμός.

In logic programming, a program consists of a set of axioms and rules.
Στο λογικό προγραμματισμό, ένα πρόγραμμα αποτελείται από ένα σύνολο αξιωμάτων και κανόνων.

Constraint Satisfaction in Logic Programming.
Υποστήριξη περιορισμών στο Λογικό Προγραμματισμό.

Relation of Logic Programming to modern considerations regarding Artificial Intelligence.
Η σχέση του Λογικού Προγραμματισμού με τις σύγχρονες αντιλήψεις περί Τεχνητής Νοημοσύνης.

Logical models including logic programming.
Λογικά μοντέλα όπως ο λογικός προγραμματισμός.

See functional programming and logic programming for alternate conceptions of what constitutes an algorithm.
Δείτε ακόμα το λειτουργικό προγραμματισμό και τον λογικό προγραμματισμό για εναλλακτικές αντιλήψεις για το τι αποτελεί έναν αλγόριθμο.

In 1958, he proposed the advice taker, which inspired later work on question-answering and logic programming.
Το 1958 περιέγραψε το Advice Taker, ένα προηγμένο για την εποχή λογισμικό για την απάντηση ερωτήσεων και προγραμματισμό λογικής.

Content: Basic principles of Logic Programming and implementation using the language Prolog.
Περιεχόμενο: Βασικές αρχές του Λογικού Προγραμματισμού και υλοποίηση με τη γλώσσα Prolog.

RIF was developed through a joint effort of members of the Business Rules, Semantic Web, and Logic Programming communities.
Το RIF αναπτύχθηκε μέσα από την κοινή προσπάθεια των μελών των κοινοτήτων των Business Rules, Semantic Web, και Logic Programming.

Logic programming systems such as Prolog compute the consequences of the axioms and rules in order to answer a query.
Τα συστήματα του λογικού προγραμματισμού, όπως η Prolog, υπολογίζουν τις συνέπειες των αξιωμάτων και των κανόνων, προκειμένου να απαντήσουν σε ένα ερώτημα.

With mechanism, electricity and pneumatics integrated, by PLC logic programming. man-machine interface operate.
Με μηχανισμό, ηλεκτρικής ενέργειας και πνευματικά ολοκληρωμένη, με PLC λογικού προγραμματισμού. διεπαφή ανθρώπου-μηχανής λειτουργούν.

At its peak in 1987, the Logic Programming Group, which he headed at the time, numbered approximately 50 researchers and support staff.
Κατά την κορύφωση του άτυπου αυτού επιστημονικού«πολέμου», το 1987, η ερευνητική ομάδα Λογικού Προγραμματισμού, της οποίας προΐστατο, αριθμούσε περίπου 50 ερευνητές και λοιπό προσωπικό.

In 1958, he proposed the advice taker, which inspired later work on question-answering and logic programming.
Το 1958 πρότεινε το advice taker(«κλήτορα συμβουλών») το οποίο αργότερα ενέπνευσε πιο πρόσφατη δουλειά σε απάντηση ερωτήσεων και προγραμματισμό λογικής.

Objectives: Familiarization with the basic concepts of Logic Programming and practical exercises in implementing them with the PROLOG language.
Στόχοι: Εξοικείωση με τις βασικές αρχές του Λογικού Προγραμματισμού και πρακτική εξάσκηση στην υλοποίηση τους με τη γλώσσα Prolog.

Various methods have been proposed to efficiently perform queries, e.g., the Magic Sets algorithm, tabled logic programming or SLG resolution.
Έχουν προταθεί διάφορες μέθοδοι για την αποδοτική εκτέλεση ερωτήσεων, π.χ. ο αλγόριθμος Magic Sets, ή ο λογικός προγραμματισμός με πίνακες.

Inductive logic programming ILP is an approach to rule-learning using logic programming as a uniform representation for input examples, background knowledge, and hypotheses.
Ο Επαγωγικός λογικός προγραμματισμός(ILP) είναι μια προσέγγιση που διέπει την μάθηση και χρησιμοποιεί λογικό προγραμματισμό ως τρόπο παρουσίασης των παραδειγμάτων εισόδου, του γνωστικού υποβάθρου και των υποθέσεων.

He teaches the undergraduate courses"Introduction to Programming" and"Logic Programming" as well as the postgraduate course"Advanced Artificial Intelligence".
Διδάσκει τα προπτυχιακά μαθήματα"Εισαγωγή στον Προγραμματισμό" και"Λογικός Προγραμματισμός", καθώς και το μεταπτυχιακό μάθημα"Προηγμένη Τεχνητή Νοημοσύνη".

He is a member of the editorial board of the journals AI Communications, Journal of Applied Logic and Journal of Theory and Applications of Logic Programming.
Είναι μέλος της εκδοτικής επιτροπής των διεθνών επιστημονικών περιοδικών: AI Communications, Journal of Applied Logic and Journal of Theory and Applications of Logic Programming.

Its origins date back to the beginning of logic programming, but it became prominent as a separate area around 1977 when Hervé Gallaire and Jack Minker organized a workshop on logic and databases.
Υπάρχει από τα πρώτα χρόνια του λογικού προγραμματισμού αλλά έγινε γνωστή σαν ξεχωριστό πεδίο το 1977 όταν ο Hervé Gallaire και ο Jack Minker οργάνωσαν ένα workshop σχετικά με τη λογική και τις βάσεις δεδομένων.

Computer science also contributes to mathematics by developing techniques for the automatic checking or even finding of proofs, such as automated theorem proving and logic programming.
Η επιστήμη υπολογιστών συμβάλλει ακόμα στα μαθηματικά με την ανάπτυξη τεχνικών για τον αυτόματο έλεγχο ή και εύρεση αποδείξεων, όπως η αυτοματοποιημένη απόδειξη θεωρημάτων(automated theorem proving) και ο λογικός προγραμματισμός.

Logic programming, constraint satisfaction, Knowledge representation and reasoning, Semantic web, Planning and Scheduling, Intelligent information extraction, Intelligent Web services, Intelligent agents.
Λογικός προγραμματισμός, ικανοποίηση περιορισμών, αναπαράσταση γνώσης και συλλογιστική, Σημασιολογικός ιστός, σχεδιασμός και χρονοπρογραμματισμός, ευφυής εξαγωγή πληροφορίας, ευφυείς υπηρεσίες ιστού, ευφυείς πράκτορες.

Inductive programming is a related field that considers any kind of programming languages for representing hypotheses(and not only logic programming), such as functional programs.
Ο επαγωγικός προγραμματισμός είναι ένας σχετικός τομέας που λαμβάνει υπόψιν κάθε είδος προγραμματιστικής γλώσσας για την αναπαράσταση υποθέσεων(και όχι μόνο λογικό προγραμματισμό), όπως τα συναρτησιακά προγράμματα.

These decisions do not involve human input, and the software and systems apply pre-defined logic programming and criteria to make a decision and assess how we deal with you in connection with the provision of services.
Αυτές οι αποφάσεις δεν περιλαμβάνουν ανθρώπινη συνεισφορά και το λογισμικό και τα συστήματα εφαρμόζουν προκαθορισμένο λογικό προγραμματισμό και κριτήρια για να λάβουν μια απόφαση και να αξιολογήσουν τον τρόπο με τον οποίο αντιμετωπίζουμε εσάς όσον αφορά στην παροχή υπηρεσιών.

The four strategies, which mainly differ in the type and extent of context and preference information that is used to resolve potential conflicts, have been evaluated in a simulated peer-to-peer system and implemented in Logic Programming in four different logic meta-programs.
Οι τέσσερεις στρατηγικές, οι οποίες κυρίως διαφέρουν στον τύπο και την έκταση της πληροφορίας που αξιοποιείται για την επίλυση ασυνεπειών, έχουν αξιολογηθεί σε ένα προσομειωμένο διομότιμο σύστημα, και έχουν υλοποιηθεί σε Λογικό Προγραμματισμό, σε τέσσερα διαφορετικά λογικά μετα-προγράμματα.

Work on symbolic/knowledge-based learning did continue within AI, leading to inductive logic programming, but the more statistical line of research was now outside the field of AI proper, in pattern recognition and information retrieval.
Η εργασία σε συμβολική/βασισμένη σε γνώση εκμάθηση συνεχίστηκε εντός της ΤΝ, οδηγώντας στον επαγωγικό λογικό προγραμματισμό, αλλά οι κατευθηντήριες γραμμές της στατιστικής ήταν τώρα έξω από το χώρο της τεχνητής νοημοσύνης, στην αναγνώριση προτύπων και στην ανάκτηση πληροφοριών.

Inductive logic programming(ILP) is an approach to rule learning using logic programming as a uniform representation for input examples, background knowledge, and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical database of facts, an ILP system will derive a hypothesized logic program that entails all positive and no negative examples.
Ο Επαγωγικός λογικός προγραμματισμός(ILP) είναι μια προσέγγιση που διέπει την μάθηση και χρησιμοποιεί λογικό προγραμματισμό ως τρόπο παρουσίασης των παραδειγμάτων εισόδου, του γνωστικού υποβάθρου και των υποθέσεων. Δεδομένης μιας κωδικοποίησης του γνωστικού υποβάθρου και ενός συνόλου παραδειγμάτων που παρουσιάζονται σαν λογική βάση γεγονότων, το σύστημα ΕΛΠ παράγει το υποτιθέμενο λογικό πρόγραμμα που περιέχει όλα τα θετικά και κανένα αρνητικό παράδειγμα.