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
2766
search results - page 73 / 554
»
Hybridizing a Logical Framework
Sort
relevance
views
votes
recent
update
View
thumb
title
122
click to vote
KR
1998
Springer
117
views
Automated Reasoning
»
more
KR 1998
»
Description Logic Framework for Information Integration
15 years 10 months ago
Download
www.inf.unibz.it
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
claim paper
Read More »
108
click to vote
BIRTHDAY
2006
Springer
88
views
Applied Computing
»
more
BIRTHDAY 2006
»
A Functorial Framework for Constraint Normal Logic Programming
15 years 10 months ago
Download
www.sc.ehu.es
Paqui Lucio, Fernando Orejas, Edelmira Pasarella, ...
claim paper
Read More »
141
click to vote
CAISE
2000
Springer
79
views
Information Technology
»
more
CAISE 2000
»
A Logical Framework for Exception Handling in ADOME Workflow Management System
15 years 9 months ago
Download
www.simflow.net
Dickson K. W. Chiu, Qing Li, Kamalakar Karlapalem
claim paper
Read More »
122
click to vote
KR
2000
Springer
84
views
Automated Reasoning
»
more
KR 2000
»
Planning with sensing, concurrency, and exogenous events: logical framework and implementation
15 years 9 months ago
Download
www.dis.uniroma1.it
Luca Iocchi, Daniele Nardi, Riccardo Rosati
claim paper
Read More »
125
click to vote
AAAI
2008
135
views
Intelligent Agents
»
more
AAAI 2008
»
The Re-Representation Problem in a Logic-Based Framework for Analogy Making
15 years 8 months ago
Download
www.aaai.org
Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger...
claim paper
Read More »
« Prev
« First
page 73 / 554
Last »
Next »
