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
34
click to vote
ASP
2001
Springer
favorite
Email
discuss
report
115
views
Automated Reasoning
»
more
ASP 2001
»
Dynamical Properties of Answer Set Programs
14 years 3 months ago
Download
www.aaai.org
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
Howard A. Blair
Real-time Traffic
Abstract Howard
|
ASP 2001
|
Automated Reasoning
|
SciTech Syracuse University
|
claim paper
Related Content
»
Using answer set programming to model multiagent scenarios involving agents knowledge abou...
»
Using Nested Logic Programs for Answer Set Programming
»
Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies
»
Specifying and Analysing AgentBased Social Institutions Using Answer Set Programming
»
AnswerSet Programming Based Dynamic User Modeling for Recommender Systems
»
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
»
Suitable Graphs for Answer Set Programming
»
Combining Answer Sets of Nonmonotonic Logic Programs
»
ASPPROLOG A System for Reasoning about Answer Set Programs in Prolog
more »
Post Info
More Details (n/a)
Added
28 Jul 2010
Updated
28 Jul 2010
Type
Conference
Year
2001
Where
ASP
Authors
Howard A. Blair
Comments
(0)
Researcher Info
Automated Reasoning Study Group
Computer Vision