Smolka, Gert: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Records for logic programming

Gert Smolka, Ralf Treinen

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 2.23 MB

english, 1994

2

Attributive concept descriptions with complements

Manfred Schmidt-Schauß, Gert Smolka

Journal:

Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 1.20 MB

english, 1991

3

Order-sorted unification

Jose Meseguer, Joseph A. Goguen, Gert Smolka

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.74 MB

english, 1989

4

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || From restricted path consistency to max-restricted path consistency

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

5

A feature constraint system for logic programming with entailment

Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.47 MB

english, 1994

6

[ACM Press the 7th ACM SIGPLAN International Conference - Los Angeles, CA, USA (2018.01.08-2018.01.09)] Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 - Large model constructions for second-order ZF in dependent type theory

Kirst, Dominik, Smolka, Gert

Year:

2018

Language:

english

File:

PDF, 816 KB

english, 2018

7

A complete and recursive feature theory

Rolf Backofen, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1995

Language:

english

File:

PDF, 1.62 MB

english, 1995

8

Feature-constraint logics for unification grammars

Journal:

The Journal of Logic Programming

Year:

1992

Language:

english

File:

PDF, 2.50 MB

english, 1992

9

Hybrid Tableaux for the Difference Modality

Mark Kaminski, Gert Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 329 KB

english, 2009

10

Spartacus: A Tableau Prover for Hybrid Logic

Daniel Götzmann, Mark Kaminski, Gert Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 2.10 MB

english, 2010

11

Situated simplification

Andreas Podelski, Gert Smolka

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.24 MB

english, 1997

12

Inheritance hierarchies: Semantics and unification

Gert Smolka, Hassan Ait-Kaci

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.68 MB

english, 1989

13

Basic narrowing revisited

Werner Nutt, Pierre Réty, Gert Smolka

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.43 MB

english, 1989

14

On the expressivity of feature logics with negation, functional uncertainty, and sort equations

Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

1993

Language:

english

File:

PDF, 1013 KB

english, 1993

15

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

Mark Kaminski, Gert Smolka

Journal:

Journal of Logic, Language and Information

Year:

2009

Language:

english

File:

PDF, 802 KB

english, 2009

16

Generic Pickling and Minimization

Guido Tack, Leif Kornstaedt, Gert Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 388 KB

english, 2006

17

Higher-Order Syntax and Saturation Algorithms for Hybrid Logic

Moritz Hardt, Gert Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 297 KB

english, 2007

18

Introduction

Journal:

Year:

2000

Language:

english

File:

PDF, 7 KB

english, 2000

19

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Solving classes of set constraints with tree automata

Year:

1997

Language:

english

File:

PDF, 961 KB

english, 1997

20

Clausal Tableaux for Hybrid PDL

Mark Kaminski, Gert Smolka

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

21

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Finding solvable subsets of constraint graphs

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

22

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 1782 || Formalizing Implementation Strategies for First-Class Continuations

Year:

2000

Language:

english

File:

PDF, 173 KB

english, 2000

23

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Look-ahead versus look-back for satisfiability problems

Year:

1997

Language:

english

File:

PDF, 1.14 MB

english, 1997

24

A Goal-Directed Decision Procedure for Hybrid PDL

Kaminski, Mark, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 1.23 MB

english, 2014

25

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Localizer A modeling language for local search

Year:

1997

Language:

english

File:

PDF, 975 KB

english, 1997

26

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Distributed partial constraint satisfaction problem

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

27

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || GENIUS-CP: A generic single-vehicle routing algorithm

Year:

1997

Language:

english

File:

PDF, 1.00 MB

english, 1997

28

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Programming constraint inference engines

Year:

1997

Language:

english

File:

PDF, 1.14 MB

english, 1997

29

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Heavy-tailed distributions in combinatorial search

Year:

1997

Language:

english

File:

PDF, 984 KB

english, 1997

30

[ACM Press the 2015 Conference - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15 - Completeness and Decidability of de Bruijn Substitution Algebra in Coq

Schäfer, Steven, Smolka, Gert, Tebbi, Tobias

Year:

2015

Language:

english

File:

PDF, 508 KB

english, 2015

31

[ACM Press the second international symposium - Maui, Hawaii, United States (1997.07.20-1997.07.22)] Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 - An overview of the design of Distributed Oz

Haridi, Seif, Van Roy, Peter, Smolka, Gert

Year:

1997

Language:

english

File:

PDF, 1.81 MB

english, 1997

32

Efficient logic variables for distributed computing

Haridi, Seif, Van Roy, Peter, Brand, Per, Mehl, Michael, Scheidhauer, Ralf, Smolka, Gert

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 559 KB

english, 1999

33

[ACM Press the 1984 ACM Symposium - Austin, Texas, United States (1984.08.06-1984.08.08)] Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84 - Making control and data flow in logic programs explicit

Year:

1984

Language:

english

File:

PDF, 971 KB

english, 1984

34

Mobile objects in distributed Oz

Van Roy, Peter, Haridi, Seif, Brand, Per, Smolka, Gert, Mehl, Michael, Scheidhauer, Ralf

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1997

Language:

english

File:

PDF, 473 KB

english, 1997

35

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Tabu search for maximal constraint satisfaction problems

Year:

1997

Language:

english

File:

PDF, 962 KB

english, 1997

36

[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Axiomatic semantics for compiler verification

Schäfer, Steven, Schneider, Sigurd, Smolka, Gert

Year:

2016

Language:

english

File:

PDF, 413 KB

english, 2016

37

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || A filtering algorithm for global sequencing constraints

Year:

1997

Language:

english

File:

PDF, 1017 KB

english, 1997

38

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Five pitfalls of empirical scheduling research

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

39

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Using constraint propagation for complex scheduling problems: Managing size, complex resources and travel

Year:

1997

Language:

english

File:

PDF, 252 KB

english, 1997

40

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Statistical analysis of backtracking on inconsistent CSPs

Year:

1997

Language:

english

File:

PDF, 818 KB

english, 1997

41

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Tractable disjunctive constraints

Year:

1997

Language:

english

File:

PDF, 898 KB

english, 1997

42

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Compiling constraint solving using projection

Year:

1997

Language:

english

File:

PDF, 1.08 MB

english, 1997

43

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Oscillation, heuristic ordering and pruning in neighborhood search

Year:

1997

Language:

english

File:

PDF, 917 KB

english, 1997

44

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Semantics and expressive power of a timed concurrent constraint language

Year:

1997

Language:

english

File:

PDF, 1.11 MB

english, 1997

45

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Solving various weighted matching problems with constraints

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

46

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Visual Solver A modeling language for constraint programming

Year:

1997

Language:

english

File:

PDF, 74 KB

english, 1997

47

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || NeMo+: Object-oriented constraint programming environment based on subdefinite models

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

48

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Set constraints: A pearl in research on constraints

Year:

1997

Language:

english

File:

PDF, 978 KB

english, 1997

49

[Lecture Notes in Computer Science] Principles and Practice of Constraint Programming-CP97 Volume 1330 || Understanding and improving the MAC algorithm

Year:

1997

Language:

english

File:

PDF, 1.03 MB

english, 1997

50

Completeness and Decidability Results for CTL in Constructive Type Theory

Doczkal, Christian, Smolka, Gert

Journal:

Journal of Automated Reasoning

Year:

2016

Language:

english

File:

PDF, 680 KB

english, 2016