Skip to main navigation
Skip to search
Skip to main content
Ben-Gurion University Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at Ben-Gurion University Research Portal
Home
Profiles
Research output
Research units
Prizes
Press/Media
Student theses
Projects
Activities
Datasets
Research Labs
Quantified logic programs, revisited
Rachel Ben-Eliyahu-Zohary
Research output
:
Contribution to conference
›
Paper
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Quantified logic programs, revisited'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Logic Programming
100%
Polynomial Time
25%
ontology matching
25%
Positive Number
25%
Rank Algorithm
25%
Inheritance Network
25%
Proof
25%
Keyphrases
Quantificational Logic
100%