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
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
110
Voted
ICLP
2007
Springer
123
views
Automated Reasoning
»
more
ICLP 2007
»
Logic Programming for Knowledge Representation
15 years 9 months ago
Download
www.cs.uky.edu
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
Miroslaw Truszczynski
Real-time Traffic
ICLP 2007
|
Knowledge Representation
|
Logic Programming
|
Note Provides Background
|
Programming Languages
|
claim paper
Related Content
»
Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning
»
Knowledge Representation with Logic Programs
»
Effect of knowledge representation on model based planning experiments using logic program...
»
Multidimensional Dynamic Knowledge Representation
»
From Description Logic Provers to Knowledge Representation Systems
»
Using the Probabilistic Logic Programming Language Plog for Causal and Counterfactual Reas...
»
Multidimensional Dynamic Logic Programming
»
On the Use of Multidimensional Dynamic Logic Programming to Represent Societal Agents View...
»
Contextual Logic Programming for Ontology Representation and Querying
more »
Post Info
More Details (n/a)
Added
08 Jun 2010
Updated
08 Jun 2010
Type
Conference
Year
2007
Where
ICLP
Authors
Miroslaw Truszczynski
Comments
(0)
Researcher Info
Automated Reasoning Study Group
Computer Vision