Workshop on Programming with Logic Databases (Informal Proceedings), ILPS

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 133

1998

DDLP1998.

Spreadsheet Generation from Rule-Based SpecificationsJean-François Boulicaut, Patrick Marcel, Francois Pinet, Christophe Rigotti. deductive 1998: 59-70

Chasing Programs in DatalogNieves R. Brisaboa, Agustin González, Héctor J. Hernández, José R. Paramá. deductive 1998: 12-24

SIC: Satisfiability Checking for Integrity ConstraintsFrançois Bry, Norbert Eisinger, Heribert Schütz, Sunna Torge. deductive 1998: 25-36

Universal Temporal Data LanguagesCindy Xinmin Chen, Carlo Zaniolo. deductive 1998: 113-126

Evaluating Linear Binary Programs by Traversing Automaton HierarchyYangjun Chen. deductive 1998: 37-46

Operational and Abstract Semantics of a Query Language for Semi-Structured InformationAgostino Cortesi, Agostino Dovier, Elisa Quintarelli, Letizia Tanca. deductive 1998: 127-140

Proceedings of the 6th International Workshop on Deductive Databases and Logic Programming (DDLP'98). In Conjunction with JICSLP'98. GMD Report 22Piero Fraternali, Ulrich Geske, Carolina Ruiz, Dietmar Seipel, editors, 1998.

Search, Analysis, and Integration of Web Documents: A Case Study with FLORIDRainer Himmeröder, Paul-Thomas Kandzia, Bertram Ludäscher, Wolfgang May, Georg Lausen. deductive 1998: 47-58

Overview of Datalog ExtensionsMengchi Liu. deductive 1998: 99-112

Logical Semantics and Languages for Databases with Partial and Complete Tuples and SetsMengchi Liu. deductive 1998: 141-155

Introduction to the Relationlog SystemRiqiang Shan, Mengchi Liu. deductive 1998: 71-84

User Defined Aggregates for Logical Data LanguagesHaixun Wang, Carlo Zaniolo. deductive 1998: 85-97

1997

DDLP1997.

On the Relationsship Between Chain Queries and Linear Datalog ProgramsFoto N. Afrati, Francesca Toni. deductive 1997:

Hypothetical Queries to Deductive DatabasesTroels Andreasen, Henning Christiansen. deductive 1997:

Linear Constraint Projection - Top-Down and Bottom-UpAndreas Fordan. deductive 1997:

Query Evaluation of Deductive Database by MGTP and its Application to Data MiningKoichi Furukawa, Tomonobu Ozaki, Tomoko Murakami, Ken Ueno, Keiko Shimazu. deductive 1997:

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, DDLP'97, Leuven, Belgium, July 1997. Accepted PapersUlrich Geske, Carolina Ruiz, Dietmar Seipel, editors, GMD - German National Research Center for Information Technology, 1997.

Extending Datalog for Ordered Multidimensional DatabasesMohand-Said Hacid, Patrick Marcel, Christophe Rigotti. deductive 1997:

Inheritance with Overriding Without Non-monotonic Reasoning in Datalog++Hasan M. Jamil. deductive 1997:

Efficient Transformation for Bottom-up Computation of Stable ModelsChiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh. deductive 1997:

An Informal Presentation of DDB Trees: A Basis for Deductive Database ExplanationsSarah Mallet, Mireille Ducassé. deductive 1997:

CRD: A New Data Mining Method in Deductive DatabasesYunming Wang, Chun Tao, Yonggang Zhao, Yang Yang. deductive 1997:

1996

DDLP1996.

A Logical Database for Validating System ModelsPatrizia Asirelli, Stephen C. Cook, Keith G. Jeffery. deductive 1996: 119-134

Hyper Tableaux and Disjunctive Logic ProgrammingPeter Baumgartner, Ulrich Furbach. deductive 1996: 29-43

Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien Nr. 295Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel, editors, GMD, Sankt Augustin, Germany, 1996.

Spatio-Temporal Reasoning with LDLT: First Steps Towards a Deductive System for Geographical ApplicationsMarilisa E. Carboni, Annalisa Di Deo, Fosca Giannotti, Maria V. Masserotti. deductive 1996: 135-151

A Framework for Intensional Query OptimizationParke Godfrey, Jarek Gryz. deductive 1996: 57-68

Stable Semantics of Temporal Deductive DatabasesHeinrich Herre, Gerd Wagner. deductive 1996: 95-106

Data Flow Evaluation of Datalog QueriesJosé Francisco Aldana Montes, José M. Troya. deductive 1996: 69-78

Access Clause Trees in Disjunctive Deductive DatabasesCharlie F. Obimbo, Bruce Spencer. deductive 1996: 15-28

On the Complexity of Reasoning with Negation as FailureRiccardo Rosati. deductive 1996: 107-118

Logical Specification of Bulk Updates and Sequential UpdatesCarl-Alexander Wichert, Burkhard Freitag. deductive 1996: 79-93

The Differential Fixpoint of General Logic ProgramsUlrich Zukowski, Burkhard Freitag. deductive 1996: 45-56

1995

Deductive Databases / Abduction in Deductive Databases1995.

Alternative Reasoning in a Metaprogramming SystemHenning Christiansen. deductive 1995: 175-186

Towords a Constraint-based Implementation of F-LogicLiviu-Virgil Ciortuz, Mihaela Juganaru. deductive 1995: 97-109

An Extended Magic Sets Strategy for a Rule Language with Updates and TransactionsPaulo Jorge de Sousa Azevedo, Danilo Montesi. deductive 1995: 71-80

Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien Nr. 266Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí, editors, Gesellschaft für Mathematik und Datenverarbeitung MbH, 1995.

Using Event Calculus for Protocol Specification: An ExperimentMarc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye. deductive 1995: 187-201

Reducing the Arity of Recursive Predicates by Realigning Some PredicatesXiaoyong Du, Naohiro Ishii. deductive 1995: 57-69

Knowledge-Base Rewriting for Bottom-Up Abduction and Integrity CheckingKnut Hinkelmann. deductive 1995: 127-141

Cautious Models for General Logic ProgramsTomi Janhunen. deductive 1995: 25-39

A Computational System for Symbolic Belief RevisionAlex Kean, George K. Tsiknis. deductive 1995: 159-173

Generating Specialised Update Procedures Through Partial Deduction of the Ground RepresentationMichael Leuschel, Bern Martens. deductive 1995: 81-95

Abductive Reasoning, Belief Expansion and Nonmonotonic CesequenceMaurice Pagnucco, Abhaya C. Nayak, Norman Y. Foo. deductive 1995: 143-158

Alternating Fixpoint Semantics for Disjunctive Logic ProgramsCristian Papp. deductive 1995: 11-23

Applications of Logic DatabasesRaghu Ramakrishnan, editor, The Kluwer International Series in Engineering and Computer Science 296, Kluwer, 1995.

An Abductive Framework to Handle Consistency-preserving Updates in Deductive DatabasesErnest Teniente. deductive 1995: 111-125

An Introspective Framework for Paraconsistent Logic Programs and Disjunctive DatabasesJia-Huai You, Suryanil Ghosh, Li-Yan Yuan, Randy Goebel. deductive 1995: 41-55

1994

Workshop on Deductive Databases and Logic Programming1994.

Static Analysis of Transactional Intensional DatabasesElisa Bertino, Barbara Catania, Giovanna Guerrini, Danilo Montesi. deductive 1994: 57-73

On Expressing Stratified DatalogTiziana Catarci, Isabel F. Cruz. deductive 1994: 85-100

Expressive Power of Non-Deterministic Operators for Logic-based LanguagesLuca Corciulo, Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo. deductive 1994: 27-40

Representing Objects as Modules in Deductive DatabasesBurkhard Freitag. deductive 1994: 41-56

Proceedings of the Workshop on Deductive Databases and Logic Programming, Second ICLP-Workshop on Deductive Databases, Santa Marherita Ligure, Italy, June 17, 1994. GMD-Studien Nr. 231Ulrich Geske, Dietmar Seipel, editors, Gesellschaft für Mathematik und Datenverarbeitung MBH, 1994.

A Deductive Database Solution to the Preferential Vote Counting ProblemDavid B. Kemp, Kotagiri Ramamohanarao. deductive 1994: 143-158

One-Phase Magic-sets TransformationInderpal Singh Mumick. deductive 1994: 131-141

Constraint-Based Reasoning in Geographic Databases: the Case of Symbolic ArraysDimitris Papadias, Andrew U. Frank, Manolis Koubarakis. deductive 1994: 159-171

Dynamic Argument Reduction for In-memory Data QueriesPrasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren. deductive 1994: 117-129

Constraint Stratification in Deductive DatabasesKenneth A. Ross. deductive 1994: 101-115

Determining Correct View Update Translations via Query ContainmentAnthony Tomasic. deductive 1994: 75-83

A Simple Model for Active Rules and their Behavior in Deductive DatabasesCarlo Zaniolo, Reza Sadri. deductive 1994: 13-26

1993

Workshop on Programming with Logic Databases (Informal Proceedings), ILPS1993.

Querying with Generalized QuantifiersAntonio Badia, Dirk Van Gucht, Marc Gyssens. deductive 1993: 235-258

Extending Deductive Databases with Object OrientationStéphane Bressan, Willem Jonker, Andrea Sikeler. deductive 1993: 167

Hy+: A Hypergraph-based Query and Visualization SystemMariano P. Consens, Alberto O. Mendelzon. deductive 1993: 168-169

Demonstrating the Glue-Nail Deductive Database SystemMarcia A. Derr, Geoffrey Phipps. deductive 1993: 163

Overview of the deductive database system LOLABurkhard Freitag, Heribert Schütz, Günther Specht. deductive 1993: 166

Applications of Deductive Object-Oriented Databases Using DELOris Friesen, Gilles Gauthier-Villars, Alexandre Lefebvre, Laurent Vieille. deductive 1993: 1-22

A Declarative Language Environment for Knowledge-WorkersOris Friesen. deductive 1993: 97-110

Requirements for a Deductive Query Language in a Genome-Mapping DatabaseNathan Goodman, Steve Rozen, Lincoln Stein. deductive 1993: 259-278

Requirements for a Deductive Query Language in the MapBase Genome-Mapping DatabaseNathan Goodman, Steve Rozen, Lincoln Stein. deductive 1993: 18-32

Outline of the LogicBase DemonstrationJiawei Han, Ling Liu, Zhaohui Xie. deductive 1993: 165

LogicBase: A System Prototype for Deductive Query EvaluationJiawei Han, Ling Liu, Zhaohui Xie. deductive 1993: 146-160

An Aditi Implementation of a Flights DatabaseJames Harland, Kotagiri Ramamohanarao. deductive 1993: 83-100

An Aditi Implementation of a Flights DatabaseJames Harland, Kotagiri Ramamohanarao. deductive 1993: 6-17

A new User s Impressions on LDL++ and CORALPing-Yu Hsu, Carlo Zaniolo. deductive 1993: 134-145

A Deductive Front-End for Relational DatabasesBrian Livezey, Evangelos Simoudis. deductive 1993: 57-81

Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science DatabasesRichard R. Muntz, Eddie C. Shek, Carlo Zaniolo. deductive 1993: 101-119

Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science DatabasesRichard R. Muntz, Eddie C. Shek, Carlo Zaniolo. deductive 1993: 74-86

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, Vancouver, B.C., October 30, 1993. Technical Report #1183Raghu Ramakrishnan, editor, University of Wisconsin, 1993.

The CORAL Deductive Database SystemRaghu Ramakrishnan, Praveen Seshadri, Divesh Srivastava, S. Sudarshan. deductive 1993: 162

Demand Interprocedural Program Analysis Using Logic DatabasesThomas W. Reps. deductive 1993: 163-196

MIMSY: A System for Analyzing Time Series Data in the Stock Market DomainWilliam G. Roth, Raghu Ramakrishnan, Praveen Seshadri. deductive 1993: 33-43

MIMSY: A System for Stock Market AnalysisWilliam G. Roth, Raghu Ramakrishnan, Praveen Seshadri. deductive 1993: 121-142

The XSB Programming SystemKonstantinos F. Sagonas, Terrance Swift, David Scott Warren. deductive 1993: 164

Developing Applications with CORALAmitabh Saran, Keith K. Park, Yongmao Chen, Ana Paula de Aguiar, Terence R. Smith, Jianwen Su. deductive 1993: 87-96

Improving Data Quality Via LDL++Shawn Shaw, Lena Foggiato-Bish, Iris Garcia, Gherin Tillman, Dave Tryon, Wendy Wood, Carlo Zaniolo. deductive 1993: 60-73

Q-Data: Using Deductive Database Technology to Improve Data QualityAmit P. Sheth, Christopher Wood, Vipul Kashyap. deductive 1993: 23-56

AMOS: A Natural Language Parser written in LOLAGünther Specht, Burkhard Freitag, Heribert Schütz. deductive 1993: 124-133

Efficient Evaluation of Visual Queries Using Deductive DatabasesDimitra Vista, Peter T. Wood. deductive 1993: 143-161

Efficient Visual Queries for Deductive DatabasesDimitra Vista, Peter T. Wood. deductive 1993: 44-59

Programming the PTQ Grammar in XSBDavid Scott Warren. deductive 1993: 111-123

Programming the PTQ Grammar in XSBDavid Scott Warren. deductive 1993: 217-234

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (deductive)

Viewing Publication 1 - 100 from 133

1998

1997

1996

1995

1994

1993

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Workshop on Programming with Logic Databases (Informal Proceedings), ILPS (deductive)

Viewing Publication 1 - 100 from 133

1998

1997

1996

1995

1994

1993

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1