Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
3691
search results - page 173 / 739
»
Bayesian Logic Programs
Sort
relevance
views
votes
recent
update
View
thumb
title
173
click to vote
AGP
2010
IEEE
284
views
Artificial Intelligence
»
more
AGP 2010
»
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming
15 years 9 months ago
Download
www.math.unipd.it
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ra...
claim paper
Read More »
115
click to vote
SIGECOM
1999
ACM
90
views
ECommerce
»
more
SIGECOM 1999
»
A declarative approach to business rules in contracts: courteous logic programs in XML
15 years 9 months ago
Download
www.damas.ift.ulaval.ca
Benjamin N. Grosof, Yannis Labrou, Hoi Y. Chan
claim paper
Read More »
189
click to vote
CCL
1999
Springer
250
views
Automated Reasoning
»
more
CCL 1999
»
Functional and Constraint Logic Programming
15 years 9 months ago
Download
users.dsic.upv.es
Mario Rodríguez-Artalejo
claim paper
Read More »
136
click to vote
CSL
1999
Springer
130
views
Automated Reasoning
»
more
CSL 1999
»
Choice Logic Programs and Nash Equilibria in Strategic Games
15 years 9 months ago
Download
www.cs.bath.ac.uk
Marina De Vos, Dirk Vermeir
claim paper
Read More »
121
click to vote
ILP
1999
Springer
88
views
Automated Reasoning
»
more
ILP 1999
»
On Sufficient Conditions for Learnability of Logic Programs from Positive Data
15 years 9 months ago
Download
ds.lib.kyutech.ac.jp
Eric Martin, Arun Sharma
claim paper
Read More »
« Prev
« First
page 173 / 739
Last »
Next »
