Search results for "Prolog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Kunihiro Ohno, Masanobu Umeda, Keisuke Nagase, Isao Nagasawa	Knowledge Base Programming for Medical Decision Support.	INAP	2001	DBLP BibTeX RDF
11	Edgar R. Weippl, Ismail Khalil Ibrahim, Werner Winiwarter	Content-based Management of Document Access Control.	INAP	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.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Neng-Fa Zhou	Action Rules for Programming Constraint Propagators and Interactive User Interfaces.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo	Collaborative Information Filtering by Using Categorized Bookmarks on the Web.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Luis Quintano, Salvador Abreu, Irene Pimenta Rodrigues	Relational Information Retrieval through Natural Lanaguage Analysis.	INAP	2001	DBLP BibTeX RDF
11	Sunil Choenni, Richard Walker 0003, Robin Bakker, Walter Baets	E-learning as a Vehicle for Knowledge Management.	INAP	2001	DBLP BibTeX RDF
11	Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi	Constructing Appropriate Data Abstractions for Mining Classification Knowledge.	INAP	2001	DBLP BibTeX RDF
11	Paulo Quaresma, Irene Pimenta Rodrigues	PGR: Portuguese Attorney General's Office Decisions on the Web.	INAP	2001	DBLP BibTeX RDF
11	Shekhar Pradhan	Contestations and Constraints for Databases.	INAP	2001	DBLP BibTeX RDF
11	A. R. Hamza, Mohammed Ali Berawi	Developing A Knowledge Management System for Construction Contract Management.	INAP	2001	DBLP BibTeX RDF
11	Harold Boley	The Rule Markup Language: RDF-XML Data Model, XML Schema Hierarchy, and XSL Transformations.	INAP	2001	DBLP BibTeX RDF
11	Sarabdeen Jawahitha, Noor Raihan Ab Hamid, Adika Ahmad Shiraz	E-Banking: A Malaysian Legal Paradigm.	INAP	2001	DBLP BibTeX RDF
11	Ryoya Okabe	Local Quantifier Raising and Cumulative Quantification.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Hasan M. Jamil	Mining First-order Knowledgebases for Association Rules.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Jan Rauch, Milan Simunek	Mining for Association Rules by 4ft-Miner.	INAP	2001	DBLP BibTeX RDF
11	Sanjeev Jayakumar, Thomas Thomas	Data Mining-Assisted Decision Support for Fever Diagnosis.	INAP	2001	DBLP BibTeX RDF
11	Dennis P. Groth, Edward L. Robertson	Discoverying Frequent Itemsets in the Presence of Highly Frequent Items.	INAP	2001	DBLP BibTeX RDF
11	Tuan Nam Tran, Masayuki Numao	Text Data Mining in Biomedical Literature by Combining with an Information Retrieval Approach.	INAP	2001	DBLP BibTeX RDF
11	Bernd D. Heumesser, Ralf-Dieter Schimkat	Deduction on XML Documents: A Case Study.	INAP	2001	DBLP BibTeX RDF
11	Michael Sintek, Stefan Decker	TRIPLE - An RDF Query, Inference, and Transformation Language.	INAP	2001	DBLP BibTeX RDF
11	Abraham Rodríguez-Rodríguez, Miguel Alemán-Flores	A Framework for the Search And Rescue Domain.	INAP	2001	DBLP BibTeX RDF
11	Donald Nute	Defeasible Logic.	INAP	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.	INAP	2001	DBLP BibTeX RDF
11	Lambèr M. M. Royakkers	Action Logics for Collective Agency and Norms.	INAP	2001	DBLP BibTeX RDF
11	Armin Wolf	Attributed Variables for Dynamic Constraint Solving.	INAP	2001	DBLP BibTeX RDF
11	Akira Ishikawa	A functional operator-based morphological analysis of Japanese.	INAP	2001	DBLP BibTeX RDF
11	Oskar Bartenstein	Software Components for Internet based Self Service Consulting Systems.	INAP	2001	DBLP BibTeX RDF
11	Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak	Mining Multi-Dimensional Quantitative Associations.	INAP	2001	DBLP BibTeX RDF
11	Thomas Goesmann	KontextNavigator: A Workflow-Integrated Organizational Memory Information System to Support Knowledge-Intensive Processes.	INAP	2001	DBLP BibTeX RDF
11	Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes	Selection Restrictions Acquisition for Parsing and Information Retrieval Improvement.	INAP	2001	DBLP BibTeX RDF
11	Salvador Abreu	ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems.	INAP	2001	DBLP BibTeX RDF
11	Andreas Fordan	Constraint Solving over OCR Graphs.	INAP	2001	DBLP BibTeX RDF
11	Rashmi Pandya, Tim Charity	Aligning Knowledge Management with Customer Requirements in Mobile Telecommunications.	INAP	2001	DBLP BibTeX RDF
11	Pierangelo Dell'Acqua, Luís Moniz Pereira	Preferring and Updating in Multi-Agents.	INAP	2001	DBLP BibTeX RDF
11	Tu Bao Ho, DucDung Nguyen, Saori Kawasaki	Mining Prediction Rules from Minority Classes.	INAP	2001	DBLP BibTeX RDF
11	Alexandre Agustini, Pablo Gamallo 0001, José Gabriel Pereira Lopes	Selection Restrictions Acquisition for Parsing Improvement.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Shekhar Pradhan	Connecting Databases with Argumentation.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Akira Ishikawa	A Functional Operator-Based Morphological Analysis of Japanese.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Dennis P. Groth, Edward L. Robertson	Discovering Frequent Itemsets in the Presence of Highly Frequent Items.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Luis Quintano, Salvador Abreu, Irene Rodrigues 0001	Relational Information Retrieval through Natural Language Analysis.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Sergio A. Alvarez, Carolina Ruiz, Virginia Dignum	Introduction to Part IV: Data Mining and Web-Knowledge Management.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Oskar Bartenstein, Stéphane Bressan	Introduction to Part I: Web-Languages and Logic.	INAP (LNCS Volume)	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.	INAP (LNCS Volume)	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.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Paulo Quaresma, Akira Ishikawa, Rolf Schwitter	Introduction to Part II: Knowledge Acquisition and Knowledge Representation.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Jason J. Jung, Jeong-Seob Yoon, GeunSik Jo	Collaborative Information Filtering by Using Categorized Bookmarks on the Web.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Andreas Fordan	Constraint Solving over OCR Graphs.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Ulrich John, Ulrich Geske	Constraint-Based Configuration of Large Systems.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Neng-Fa Zhou	Action Rules for Programming Constraint Propagators and Interactive User Interfaces.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Oskar Bartenstein	Software Components for Internet Based Self-service Consulting Systems.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Michal J. Okoniewski, Lukasz Gancarz, Piotr Gawrysiak	Mining Multi-dimensional Quantitative Associations.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Pierangelo Dell'Acqua, Luís Moniz Pereira	Preferring and Updating in Logic-Based Agents.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Yoshiaki Okubo, Yoshimitsu Kudoh, Makoto Haraguchi	Constructing Appropriate Data Abstractions for Mining Classification Knowledge.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
11	Fausto Spoto	Operational and Goal-Independent Denotational Semantics for Prolog with Cut.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
11	Mireille Ducassé, Jacques Noyé	Tracing Prolog Programs by Source Instrumentation is Efficient Enough.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
11	Fernando M. A. Silva, Paul Watson 0001	Or-Parallel Prolog on a Distributed Memory Architecture.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
11	Christian Holzbaur, Thom W. Frühwirth	A PROLOG Constraint Handling Rules Compiler and Runtime System.	Appl. Artif. Intell.	2000	DBLP DOI BibTeX RDF
11	Marija Kulas, Christoph Beierle	Defining Standard Prolog in Rewriting Logic.	WRLA	2000	DBLP DOI BibTeX RDF
11	Lourdes Araujo	Some Essential Side-effects of Prolog on a Distributed Implementation.	Comput. Artif. Intell.	2000	DBLP BibTeX RDF
11	Milan Fico	Theory of Local Register Allocation for Prolog Clauses II.	Comput. Artif. Intell.	2000	DBLP BibTeX RDF
11	Frieder Stolzenburg	Clause and Effect - Prolog Programming for the Working Programmer.	Künstliche Intell.	2000	DBLP BibTeX RDF
11	Jia Lee, Kenichi Morita, Hiroki Asou, Katsunobu Imai	Uniquely Parsable Unification Grammars and Their Parser Implemented in Prolog.	Grammars	2000	DBLP DOI BibTeX RDF
11	M. R. K. Krishna Rao	Some classes of prolog programs inferable from positive data.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
11	Gopal Gupta 0001	Parallel implementation of Prolog: the ACE project.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
11	Lee Naish, Leon Sterling	Stepwise Enhancement and Higher-Order Programming in Prolog.	J. Funct. Log. Program.	2000	DBLP BibTeX RDF
11	Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck	Sequence-Based Abstract Interpretation of Prolog	CoRR	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	CoRR	2000	DBLP BibTeX RDF
11	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog	CoRR	2000	DBLP BibTeX RDF
11	Zhiyi Huang 0001, Chengzheng Sun, Abdul Sattar 0001	Handling side-effects and cuts with selective recomputation in parallel Prolog.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to three-dimensional image generation and processing in underwater acoustic vision.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to transporting real-time video over the internet: challenges and approaches.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to IDDQ testing for CMOS VLSI.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Howard Falk	Prolog to perceptual coding of digital audio.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Bernie Murphy	Prolog to from circuit miniaturization to the scalable IC.	Proc. IEEE	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.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Howard Falk	Prolog to electrostatic discharge in semiconductor devices: protection techniques.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to interaction of low-frequency electric and magnetic fields with the human body.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Richard O'Donnell	Prolog to sampling-50 years after Shannon.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to toward robust integrated circuits: the embryonics approach.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to a survey of circuit innovations in ferroelectric random-access memories.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to genomic engineering: moving beyond DNA sequence to function.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Jim Esch	Prolog to computer-aided design of analog and mixed-signal integrated circuits.	Proc. IEEE	2000	DBLP DOI BibTeX RDF
11	Daniel Diaz 0001, Philippe Codognet	The GNU Prolog System and its Implementation.	SAC (2)	2000	DBLP DOI BibTeX RDF
11	Pascal Bouvier	Visual Tools to Debug Prolog IV Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
11	Ryszard Tolwinski	Simulation in PROLOG of trajectory planing for multi-agent system.	ESM	2000	DBLP BibTeX RDF
11	Gabriella Kókai	CAPP: Statische Codeanalyse von PROLOG Programmen.	WLP	2000	DBLP BibTeX RDF
11	Marija Kulas	Debugging Prolog Using Annotations.	WLP	2000	DBLP BibTeX RDF
11	Markus Schacher	The CASSANDRA Project: A 2nd Order CASE Tool in Prolog.	PACPL	2000	DBLP BibTeX RDF
11	Xining Li	Efficient memory management in a merged heap/stack prolog machine.	PPDP	2000	DBLP DOI BibTeX RDF
11	Erwan Jahier, Mireille Ducassé, Olivier Ridoux	Specifying Prolog trace models with a continuation semantics.	LOPSTR	2000	DBLP BibTeX RDF
11	Bart Demoen	Prolog and abduction 4 writing garbage collectors.	LOPSTR	2000	DBLP BibTeX RDF
11	Sergio Antoy, Michael Hanus	Compiling Multi-Paradigm Declarative Programs into Prolog.	FroCoS	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.	FLAIRS	2000	DBLP BibTeX RDF
11	Calum A. M. Grant	Software visualization in Prolog.		2000	RDF