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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
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
32
click to vote
ICLP
2007
Springer
favorite
Email
discuss
report
123
views
Automated Reasoning
»
more
ICLP 2007
»
Logic Programming for Knowledge Representation
14 years 5 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