Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Kunihiro Ohno, Masanobu Umeda, Keisuke Nagase, Isao Nagasawa |
Knowledge Base Programming for Medical Decision Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 202-210, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Edgar R. Weippl, Ismail Khalil Ibrahim, Werner Winiwarter |
Content-based Management of Document Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 78-86, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Naoki Fukuta, Nobuaki Mizutani, Tadachika Ozono, Toramatsu Shintani |
iML: A Logic-based Framework for Constructing Graphical User Interface on Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 152-159, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Miguel R. Penabad, Nieves R. Brisaboa, José R. Paramá, Hendrik Decker |
A General Procedure to Test Containment of Conjunctive Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 1-10, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 57, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Bronson Trevor, Edgar R. Weippl, Werner Winiwarter |
A Modern Approach to Searching the World Wide Web: Ranking Pages by Inference over Content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 316-330, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo |
Collaborative Information Filtering by Using Categorized Bookmarks on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 343-357, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | M. Mercedes Martínez, Pablo de la Fuente, Jean-Claude Derniame, Alberto Pedrero |
Relationship-based Dynamic Versioning of Evolving Legal Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 451-465, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues |
Relational Information Retrieval through Natural Lanaguage Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 437-451, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Sunil Choenni, Richard Walker 0003, Robin Bakker, Walter Baets |
E-learning as a Vehicle for Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 379-392, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi |
Constructing Appropriate Data Abstractions for Mining Classification Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 275-284, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Paulo Quaresma, Irene Pimenta Rodrigues |
PGR: Portuguese Attorney General's Office Decisions on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 426-436, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Shekhar Pradhan |
Contestations and Constraints for Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 11-19, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | A. R. Hamza, Mohammed Ali Berawi |
Developing A Knowledge Management System for Construction Contract Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 358-378, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Harold Boley |
The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 124-139, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Sarabdeen Jawahitha, Noor Raihan Ab Hamid, Adika Ahmad Shiraz |
E-Banking: A Malaysian Legal Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 414-425, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Ryoya Okabe |
Local Quantifier Raising and Cumulative Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 176-185, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Jordan C. P. Kung, Paul Strickland, Dhiya Al-Jumeily, A. Taleb-Bendiab |
Using Model Tracing Approach to Guide a Student Model for an Intelligent Computer Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 140-151, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Hasan M. Jamil |
Mining First-order Knowledgebases for Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 30-37, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | SuanGwan Han, Jeong-Seob Yoon, GeunSik Jo |
Case-Based Student Model using Knowledge Markup Language for Intelligent e-learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 58-77, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Jan Rauch, Milan Simunek |
Mining for Association Rules by 4ft-Miner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 285-295, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Sanjeev Jayakumar, Thomas Thomas |
Data Mining-Assisted Decision Support for Fever Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 196-201, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Dennis P. Groth, Edward L. Robertson |
Discoverying Frequent Itemsets in the Presence of Highly Frequent Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 237-245, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Tuan Nam Tran, Masayuki Numao |
Text Data Mining in Biomedical Literature by Combining with an Information Retrieval Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 295-304, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Bernd D. Heumesser, Ralf-Dieter Schimkat |
Deduction on XML Documents: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 20-29, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Michael Sintek, Stefan Decker |
TRIPLE - An RDF Query, Inference, and Transformation Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 47-56, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Abraham Rodríguez-Rodríguez, Miguel Alemán-Flores |
A Framework for the Search And Rescue Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 305-316, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Donald Nute |
Defeasible Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 87-114, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Kathrin Böttger, Rolf Schwitter, Debbie Richards 0001, Oscar Aguilera, Diego Mollá Aliod |
Reconciling Use Cases via Controlled Languages and Graphical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 186-195, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Lambèr M. M. Royakkers |
Action Logics for Collective Agency and Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 404-413, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Armin Wolf |
Attributed Variables for Dynamic Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 211-219, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Akira Ishikawa |
A functional operator-based morphological analysis of Japanese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 168-175, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Oskar Bartenstein |
Software Components for Internet based Self Service Consulting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 115-123, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak |
Mining Multi-Dimensional Quantitative Associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 265-274, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Thomas Goesmann |
KontextNavigator: A Workflow-Integrated Organizational Memory Information System to Support Knowledge-Intensive Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 393-403, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes |
Selection Restrictions Acquisition for Parsing and Information Retrieval Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 466-479, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Salvador Abreu |
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 229-237, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Andreas Fordan |
Constraint Solving over OCR Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 220-228, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Rashmi Pandya, Tim Charity |
Aligning Knowledge Management with Customer Requirements in Mobile Telecommunications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 331-342, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Multi-Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 38-46, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Tu Bao Ho, DucDung Nguyen, Saori Kawasaki |
Mining Prediction Rules from Minority Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP ![In: Proceedings of the 14th International Conference on Applications of Prolog, INAP 2001, University of Tokyo, Tokyo, Japan, October 20-22, 2001, pp. 254-265, 2001, The Prolog Association of Japan. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
11 | Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes |
Selection Restrictions Acquisition for Parsing Improvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 129-146, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Shekhar Pradhan |
Connecting Databases with Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 170-185, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Akira Ishikawa |
A Functional Operator-Based Morphological Analysis of Japanese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 100-114, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Dennis P. Groth, Edward L. Robertson |
Discovering Frequent Itemsets in the Presence of Highly Frequent Items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 251-264, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Luis Quintano, Salvador Abreu, Irene Rodrigues 0001 |
Relational Information Retrieval through Natural Language Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 86-99, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Sergio A. Alvarez, Carolina Ruiz, Virginia Dignum |
Introduction to Part IV: Data Mining and Web-Knowledge Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 235-236, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Oskar Bartenstein, Stéphane Bressan |
Introduction to Part I: Web-Languages and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 3-4, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | M. Mercedes Martínez, Pablo de la Fuente, Jean-Claude Derniame, Alberto Pedrero |
Relationship-Based Dynamic Versioning of Evolving Legal Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 290-305, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Rule evolution, document versions, document relationships, dynamic document generation, relationship graph, typed links, document composition, structured documents, XLink, virtual document |
11 | Ulrich Geske, Dietmar Seipel |
Introduction to Part III: Decision Support by Advanced Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 147-150, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Paulo Quaresma, Akira Ishikawa, Rolf Schwitter |
Introduction to Part II: Knowledge Acquisition and Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 67-69, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo |
Collaborative Information Filtering by Using Categorized Bookmarks on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 237-250, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Fordan |
Constraint Solving over OCR Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 205-216, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Ulrich John, Ulrich Geske |
Constraint-Based Configuration of Large Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 217-234, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Neng-Fa Zhou |
Action Rules for Programming Constraint Propagators and Interactive User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 197-204, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Oskar Bartenstein |
Software Components for Internet Based Self-service Consulting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 23-35, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak |
Mining Multi-dimensional Quantitative Associations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 265-275, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Pierangelo Dell'Acqua, Luís Moniz Pereira |
Preferring and Updating in Logic-Based Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 70-85, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi |
Constructing Appropriate Data Abstractions for Mining Classification Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INAP (LNCS Volume) ![In: Web Knowledge Management and Decision Support, 14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001, Revised Papers, pp. 276-289, 2001, Springer, 3-540-00680-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Fausto Spoto |
Operational and Goal-Independent Denotational Semantics for Prolog with Cut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 42(1), pp. 1-46, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Mireille Ducassé, Jacques Noyé |
Tracing Prolog Programs by Source Instrumentation is Efficient Enough. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 43(2), pp. 157-172, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Fernando M. A. Silva, Paul Watson 0001 |
Or-Parallel Prolog on a Distributed Memory Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Program. ![In: J. Log. Program. 43(2), pp. 173-186, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christian Holzbaur, Thom W. Frühwirth |
A PROLOG Constraint Handling Rules Compiler and Runtime System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Artif. Intell. ![In: Appl. Artif. Intell. 14(4), pp. 369-388, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Marija Kulas, Christoph Beierle |
Defining Standard Prolog in Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WRLA ![In: The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000, pp. 158-174, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Lourdes Araujo |
Some Essential Side-effects of Prolog on a Distributed Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 19(2), pp. 147-167, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Milan Fico |
Theory of Local Register Allocation for Prolog Clauses II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 19(1), pp. 79-103, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Frieder Stolzenburg |
Clause and Effect - Prolog Programming for the Working Programmer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 14(1), pp. 65-, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Jia Lee, Kenichi Morita, Hiroki Asou, Katsunobu Imai |
Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grammars ![In: Grammars 3(1), pp. 63-81, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | M. R. K. Krishna Rao |
Some classes of prolog programs inferable from positive data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 241(1-2), pp. 211-234, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Gopal Gupta 0001 |
Parallel implementation of Prolog: the ACE project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 25(1), pp. 54-55, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Lee Naish, Leon Sterling |
Stepwise Enhancement and Higher-Order Programming in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 2000(4), 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck |
Sequence-Based Abstract Interpretation of Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0010028, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou |
Linear Tabulated Resolution Based on Prolog Control Strategy ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0003046, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Nikolay Pelov, Maurice Bruynooghe |
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0003069, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001 |
Handling side-effects and cuts with selective recomputation in parallel Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 17(3), pp. 227-245, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to three-dimensional image generation and processing in underwater acoustic vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(12), pp. 1901-1902, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to transporting real-time video over the internet: challenges and approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(12), pp. 1853-1854, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to IDDQ testing for CMOS VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(4), pp. 542-543, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Howard Falk |
Prolog to perceptual coding of digital audio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(4), pp. 449-450, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Bernie Murphy |
Prolog to from circuit miniaturization to the scalable IC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(5), pp. 690, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Thomas Keller 0002, Lajos Hanzo |
Prolog to adaptive multicarrier modulation: a convenient framework for time-frequency processing in wireless communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(5), pp. 609-610, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Howard Falk |
Prolog to electrostatic discharge in semiconductor devices: protection techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(12), pp. 1876-1877, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to interaction of low-frequency electric and magnetic fields with the human body. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(5), pp. 641-642, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Richard O'Donnell |
Prolog to sampling-50 years after Shannon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(4), pp. 567-568, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to toward robust integrated circuits: the embryonics approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(4), pp. 514-515, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to a survey of circuit innovations in ferroelectric random-access memories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(5), pp. 665-666, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to genomic engineering: moving beyond DNA sequence to function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(12), pp. 1947-1948, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Jim Esch |
Prolog to computer-aided design of analog and mixed-signal integrated circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 88(12), pp. 1823-1824, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Diaz 0001, Philippe Codognet |
The GNU Prolog System and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC (2) ![In: Applied Computing 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 2, pp. 728-732, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Pascal Bouvier |
Visual Tools to Debug Prolog IV Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 177-190, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Ryszard Tolwinski |
Simulation in PROLOG of trajectory planing for multi-agent system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESM ![In: 14th European Simulation Multiconference - Simulation and Modelling: Enablers for a Better Quality of Life, May 23-26, 2000, Ghent, Belgium, pp. 281-285, 2000, SCS Europe, 1-56555-204-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Gabriella Kókai |
CAPP: Statische Codeanalyse von PROLOG Programmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 231-240, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Marija Kulas |
Debugging Prolog Using Annotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLP ![In: 14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000., pp. 183-197, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Markus Schacher |
The CASSANDRA Project: A 2nd Order CASE Tool in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACPL ![In: Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, PACPL 2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000, pp. 193-212, 2000, Practical Application Company Ltd., 1-902426-06-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Xining Li |
Efficient memory management in a merged heap/stack prolog machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, Montreal, Canada, September 20-23, 2000, pp. 245-256, 2000, ACM, 1-58113-265-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Erwan Jahier, Mireille Ducassé, Olivier Ridoux |
Specifying Prolog trace models with a continuation semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000., 2000, Department of Computer Science, University of Manchester. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Bart Demoen |
Prolog and abduction 4 writing garbage collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000., 2000, Department of Computer Science, University of Manchester. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Sergio Antoy, Michael Hanus |
Compiling Multi-Paradigm Declarative Programs into Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings, pp. 171-185, 2000, Springer, 3-540-67281-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Christoph Peylo, Wilfried Teiken, Claus-Rainer Rollinger, Helmar Gust |
An Ontology as Domain Model in a Web-Based Educational System for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, May 22-24, 2000, Orlando, Florida, USA, pp. 55-59, 2000, AAAI Press, 1-57735-113-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
11 | Calum A. M. Grant |
Software visualization in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|