Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-7  
 Basket 
Mixed Integer Programming Models for Planning Problems
Authors: Bockmayr, Alexander; Dimopoulos, Yannis
Place of Publication: Moffett Field, USA
Publisher: NASA Ames Research Center
Date of Publication (YYYY-MM-DD): 1998
Title of Proceedings: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98)
Start Page: 1
End Page: 6
Document Type: Conference-Paper
ID: 519656.0
On the Parallel Complexity of Acyclic Logic Programs
Authors: Chaudhuri, Shiva; Dimopoulos, Yannis; Zaroliagis, Christos
Date of Publication (YYYY-MM-DD): 1996
Title of Journal: Parallel Processing Letters
Volume: 6
Issue / Number: 2
Start Page: 223
End Page: 230
Document Type: Article
ID: 517675.0
On Computing Logic Programs
Authors: Dimopoulos, Yannis
Date of Publication (YYYY-MM-DD): 1996
Title of Journal: Journal of Automated Reasoning
Volume: 17
Issue / Number: 3
Start Page: 259
End Page: 289
Document Type: Article
ID: 519483.0
On the Parallel Complexity of Acyclic Logic Programs
Authors: Chaudhuri, Shiva; Dimopoulos, Yannis; Zaroliagis, Christos
Date of Publication (YYYY-MM-DD): 1996
Title of Journal: Parallel Processing Letters
Volume: 6
Issue / Number: 2
Start Page: 223
End Page: 230
Document Type: Article
ID: 519459.0
A Graph Theoretic Approach to Default Logic
Authors: Dimopoulos, Yannis; Magirou, Vangelis
Date of Publication (YYYY-MM-DD): 1994
Title of Journal: Information and Computation
Volume: 112
Issue / Number: 2
Start Page: 239
End Page: 256
Document Type: Article
ID: 519555.0
Classical Methods in Nonmonotonic Reasoning
Authors: Dimopoulos, Yannis
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94)
Start Page: 500
End Page: 510
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 519625.0
The Computational Value of Joint Consistency
Authors: Dimopoulos, Yannis
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1994
Title of Proceedings: Logics in Artificial Intelligence: Proceedings of the JELIA'94
Start Page: 50
End Page: 65
Title of Series: Lecture Notes in Artificial Intelligence
Document Type: Conference-Paper
ID: 519620.0
Entries: 1-7  
The scope and number of records on eDoc is subject to the collection policies defined by each institute - see "info" button in the collection browse view.