Export...\All to MPG RTF format...

Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template

Publications Master Template

Entries sorted by: 5. Year - 4. All Years - 2. MPG Jahrbuch Format

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

#YearedocLckAuthor(s) [non member]Editor(s) [non member]TitleTypeedoc identifier
698
Hide details for Veröffentlichungen der MitarbeiterVeröffentlichungen der Mitarbeiter
2009Lee, Chin SoonRanking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42
Journal Article8B0AF0C8A04E78D3C12576F1005802B3-Lee2009
2009Meter, PeterBlubber, Bla
Bla, Blubber
Just a test entry
In: Booktitle, 1001-1010
Proceedings Article9A78437D415DC578C12576D50035FB9F-Meter2009
2007[Ben-Amram, Amir M.]
Lee, Chin Soon
Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37
Journal Article9FD7D7C6C5A30BBAC12573E800404454-BenAmramLee2007
2007[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
[Cook, Byron]
[Podelski, Andreas]
Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394
Proceedings ArticleC4C46977FD7517A0C12572A2007CFDE3-Rybalchenko2007VMCAI-InvGen
2007[Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey
[Ferrante, Jeanne]
[McKinley, Kathryn S.]
Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
Proceedings Article48258C5145573B41C12572A2007E9680-Rybalchenko2007PLDI-Paths
2007[Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe]
[Hofmann, Martin]
[Felleisen, Matthias]
Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276
Proceedings ArticleF0CC8AA9A7B40F8AC12572A2007E1277-Rybalchenko2007POPL
2007[Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey
[Ferrante, Jeanne]
[McKinley, Kathryn S.]
Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
Proceedings Article0E3286174490BE72C12572A2007E5F0F-Rybalchenko2007PLDI-Threads
2007Podelski, Andreas
Rybalchenko, Andrey
Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30
Journal Article01F2BD609C09FFB3C12572D5003645AF-PodelskiRybalchenkoTOPLAS2007
2007[Podelski, Andreas]
Rybalchenko, Andrey
Hanus, MichaelAttachment IconARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259
Proceedings ArticleB25DA1215596A4A6C12572A2007D7B25-Rybalchenko2007PADL
2007[Podelski, Andreas]
Wagner, Silke
Stop sign IconAttachment IconA Method and a Tool for Automatic Verification of Region Stability for Hybrid SystemsReport5EFB11340F0182DBC12572970053D04E-PodelskiWagner01_2007
2007Stop sign Icon[Podelski, Andreas]
Wagner, Silke
Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C.
Stop sign IconAttachment IconA Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753
Poster5390EA1D31702021C12572C9003EFBCF-PodelskiWagner02_2007
2007Ratschan, Stefan
She, Zhikun
Attachment IconSafety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23
Journal Article677771074F68D5CEC125717800440423-Ratschan2007
2007Rybalchenko, AndreyPrecise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ?
Proceedings Article7E5E80A3B2C2F34BC12572D500339DAC-MalkisPodelskiRybalchenkoSAS2007
2007Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica
[Cook, Byron]
[Podelski, Andreas]
Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ?
Proceedings Article2A3E0635A6236931C125722700460594-Rybalchenko-Sofronie-vmcai07
2007Sofronie-Stokkermans, VioricaAttachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
Journal ArticleB9E45B57527D7737C12571A9003CFE52-Sofronie-Stokkermans-dam-06
2007Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
Journal Article9DD8AF804D93801CC1257005003D6854-Sofronie-Stokkermans-unif-05
2007Wagner, Silke
[Podelski, Andreas]
[Raskin, J.-F.]
[Thiagarajan, P.S.]
Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16
Proceedings Article226A10E7924A08F0C12573160032D6C1-PodelskiWagner03_2007
2006[Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans
IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-ProvabilityElectronic ProceedingsB91B31A7FC46DE53C12571F4003DCF6E-deNivelle2006a
2006Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare]
Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52
Journal Article9D1A231BA6D54196C1256FF2002CAB25-Baumgartner:etal:Darwin:IJAIT:2006
2006Stop sign IconBrahm, UweStop sign IconAttachment IconEine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für InformatikMiscellaneous0D06EDC0FA2840F5C12571E800594BA7-BrahmPresentation20060912
2006[Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey
Termination Proofs for Systems Code
In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426
In: ACM SIGPLAN Notices [41], 415-426
Proceedings Article88C906F53622F174C125729D00531880-PodelskiRybalchenkoCook2006
2006Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey
[Ball, Thomas]
[Jones, Robert B.]
Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418
Proceedings Article3DF9C46347178EFEC125729E001C92E2-CookPodelskiRybal2006
2006[Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris]
[Graf, Susanne]
[Zhang, Wenhui]
Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291
Proceedings ArticleE15845F2D436427EC1257213006D3E84-DammDischHungarPangPigorschSchollWaldmannWirtz2006
2006Stop sign Iconde Nivelle, Hans
[Meng, Jia]
Stop sign IconGeo 2006jMiscellaneousF96650851C2800BCC12571F4003B140B-deNivelleMeng2006b
2006de Nivelle, Hans
[Meng, Jia]
[Furbach, Ulrich]
[Shankar, Natarajan]
Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317
Proceedings Article9F39DC347DB8FFF1C1257140004AB991-deNivelleMeng2006a
2006[Domshlak, Carmel]
Hoffmann, Jörg
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252
Proceedings Article3E95E26F349AEB6AC1257114003AA62D-DomshlakHoffmann2006
2006[Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas
[Valmari, Antti]Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34
Proceedings Article1DD5A496410B7F92C125729E0034DA77-Podelski2006d
2006Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27
Journal ArticleC1C4E642D32945A3C125722F004619ED-Freiheit2005
2006Freiheit, Jörn
[Zangl, Fabrice]
[Remenyi, Dan]Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151
Proceedings Article35836E283162574AC125722F004857FC-Freiheit2005e
2006Ganzinger, Harald
[Korovin, Konstantin]
[Hermann, Miki]
[Voronkov, Andrei]
Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511
Proceedings ArticleFFE3236E6002915AC125720400510C20-GanKor:ThInst:2006
2006Ganzinger, Harald
[Korovin, Konstantin]
[Hermann, Miki]
[Voronkov, Andrei]
Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511
Proceedings Article1CBDABE9C16AAE05C12573FA002F08C9-GK2007
2006Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492
Journal ArticleFBC4F6CB2E255CD5C12571BD0041068C-GSW-i-and-c
2006Hoffmann, Jörg
[Brafman, Ronen I.]
Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541
Journal ArticleA51EAD29521061C1C12571140039D847-HoffmannBrafman2006
2006Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293
Proceedings Article216DB24E61769B54C1257114003A4349-HoffmannEtal2006a
2006Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel]
[Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee]
Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303
Proceedings Article056EE66E7364C267C1257114003A899E-HoffmannEtAl2006b
2006[Jensen, Kurt]
Podelski, Andreas
Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179
Journal Article161878660840AC67C125729E003E400A-Podelski2006e
2006[Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd]
[Valmari, Antti]Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52
Proceedings ArticleD36D17C09E4DA6DCC1257114003AEFE7-KupferschmidEtAl2006
2006[Lilith, Nimrod]
[Billington, Jonathan]
Freiheit, Jörn
Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-??
Proceedings Article58937BB6B2FB2A45C12572300035C338-Freiheit2005c
2006Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
[Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio]
Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197
Proceedings Article96547D152FE0A906C12572250048F51F-malkis2006
2006Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey
[Gopalakrishnan, Ganesh]
[O'Leary, John]
Attachment IconThread-Modular Verification and Cartesian AbstractionUnpublished/DraftDCF428B4C8AA7543C12572250049F24C-malkis2006a
2006[Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey
[Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio]
Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346
Proceedings ArticleEEC1D2A3E8A4DEA9C12572A2007C343E-Rybalchenko2006ICTAC-DC
2006Podelski, Andreas
Wagner, Silke
[Hespanha, João P.]
[Tiwari, Ashish]
Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521
Proceedings ArticleD1046A10B1588DA0C125712B004D29A6-PodelskiWagner2006
2006[Prevosto, Virgile]
Waldmann, Uwe
[Sutcliffe, Geoff]
[Schmidt, Renate]
[Schulz, Stephan]
SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33
Proceedings Article5324014809433FE7C125721700527A95-PrevostoWaldmann2006
2006Ratschan, StefanEfficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748
Journal Article9674D6D775A64682C1256FA9005604DE-Ratschan2005a
2006Ratschan, Stefan
She, Zhikun
[Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming]
Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210
Proceedings Article00DE7551A0AA40FBC125722E003DCF1D-She2005
2006Ratschan, Stefan
[Smaus, Jan-Georg]
[Cassandras, Christos]
[Giua, Alessandro]
[Seatzu, Carla]
[Zaytoon, Janan]
Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ?
Proceedings ArticleBB07F3905A13E1A9C125717800439CEB-Ratschan2006
2006She, Zhikun
Ratschan, Stefan
Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249
Proceedings Article17050818335302ADC125722E003F349E-She2005b
2006She, Zhikun
Xia, Bican
[Xiao, Rong]
[Kovalerchuk, B.]A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12
Proceedings ArticleD55C35F37B3A1366C125722E003F7B1B-She2006b
2006[Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian]
[Nüttgens, Markus]
[Rump, Frank J.]
[Mendling, Jan]
Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135
Proceedings ArticleA4C674BCDB1B3E5FC12572300037330E-Freiheit2005d
2006Sofronie-Stokkermans, VioricaSheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ?
Proceedings Article1759E2DF06FB06C9C12572210055F559-Sofronie-Stokkermans-getco-06
2006Sofronie-Stokkermans, Viorica[Furbach, Ulrich]
[Shankar, Natarajan]
Attachment IconInterpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250
Proceedings Article5D4939D6175F4A2FC1257164003E6C4B-Sofronie-ijcar-06
2006Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.]
[Emerson, E. Allen]
[Namjoshi, Kedar S.]
Attachment IconField Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173
Proceedings Article761CADE4F91377D6C12570B000587F60-WiesETAL06FieldConstraintAnalysis
2005Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas]
[Seipel, Dietmar]
[Hanus, Michael]
[Geske, Ulrich]
[Bartenstein, Oskar]
Optimizing the Evaluation of XPath Using Description Logics
In: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, 1-15
Proceedings ArticleEAB50CA717AC0320C1256F8C003A17B8-Furbach:etal:OptimizingXPathDL:INAP:2004
2005Baumgartner, Peter
[Furbach, Ulrich]
[Hutter, Dieter]
[Stephan, Werner]
Living Books, Automated Deduction and other Strange Things
In: Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann, 255-274
Part of a BookA6C3506F7D9C00FBC1256F8C003CADC9-Baumgartner:Furbach:LivingBooksStrangeThings:JS60:2004
2005Baumgartner, Peter
[Furbach, Ulrich]
[Yahya, Adnan]
Automated Reasoning, Knowledge Representation and Management
In: KI - Künstliche Intelligenz [1], 5-11
Journal ArticleA1511CA2458E0EB2C1256FC40050E766-Baumgartner:etal:AR-KR-Management:KI:2005
2005Baumgartner, Peter
Suchanek, Fabian
Attachment IconModel-Generation Theorem Proving for First-Order Logic OntologiesUnpublished/DraftC877D65BEFFB19AAC12570D8000FD127-BaumgartnerSuchanek2005
2005Baumgartner, Peter
[Tinelli, Cesare]
[Nieuwenhuis, Robert]The Model Evolution Calculus with Equality
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408
Proceedings ArticleBCF8329850928E41C1256FF40045E409-Baumgartner:Tinelli:ModelEvolutionCalculusEquality:CADE:2005
2005Blanchet, Bruno
Podelski, Andreas
Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90
Journal ArticleDE831F79824AC81CC1256FC000333894-BlanchetPodelski2005
2005[Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick
[Ong, Luke]Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412
Proceedings ArticleB84D6259621B6394C12570B50065D231-CharatonikGeorgievaMaier2005
2005[Cook, Byron]
Podelski, Andreas
Rybalchenko, Andrey
[Hankin, Chris]
[Siveroni, Igor]
Abstraction-refinement for Termination
In: Static analysis : 12th International Symposium, SAS 2005, 87-101
Proceedings Article4A8E5658CE9033FAC12570000064E740-CookPodelskiRybalchenkoSAS2005
2005[Cuntz, Nicolas]
Freiheit, Jörn
[Kindler, Ekkart]
[Nuettgens, Markus]
[Rump, Frank J.]
On the semantics of EPCs: Faster calculation for EPCs with small state spaces
In: EPK 2005 : Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 7-23
Proceedings Article435E24B7EA83FC4EC12570D70054BB48-Freiheit2005EPK
2005[Damm, Werner]
Pinto, Guilherme
Ratschan, Stefan
[Peled, Doron A]
[Tsay, Yih-Kuen]
Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems
In: Automated technology for verification and analysis : Third International Symposium, ATVA 2005, 99-113
Proceedings Article9381B669B95CDEE8C12570A600420C22-DammRatschan2005a
2005[Daum, Matthias]
Maus, Stefan
[Schirmer, Norbert]
Seghir, Mohammed Nassim
[Sutcliffe, Geoff]
[Voronkov, Andrei]
Attachment IconIntegration of a Software Model Checker into Isabelle
In: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, 381-395
Proceedings ArticleAC084AE06EB1D6B2C12570D700608013-DMSSISAMC2005
2005de Nivelle, HansTranslation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54
Journal Article904AC741B97386B6C1256FC10056F74F-deNivelle2005a
2005de Nivelle, Hans
[Demri, Stéphane]
Deciding Regular Grammar Logics with Converse through First-Order Logic
In: Journal of Logic, Language and Information [14], 289-329
Journal ArticleEAF2CBB863109A35C1256FE90050B977-deNivelleDemri2005
2005de Nivelle, Hans
Piskac, Ruzica
Aichernig, Bernhard K.
Beckert, Bernhard
Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219
Proceedings ArticleDFA2ABDD62632A77C12570600034D829-DeNivellePiskac2005a
2005[Delahaye, David]
[Jaume, Mathieu]
Prevosto, Virgile
Coq, un outil pour l'enseignement
In: Technique et Science Informatiques [24], 1139-1160
Journal Article06EF4C55FB8AE5D1C1256FEB004089E4-DelahayeJaumePrevosto2005
2005Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice]
Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora
Attachment IconEnhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27
Proceedings Article9534E1575B414174C12570B20035B569-Freiheit2005b
2005Ganzinger, Harald
[Stuber, Jürgen]
Superposition with equivalence reasoning and delayed clause normal form transformation
In: Information and Computation [199], 3-23
Journal Article0694A106EC9DC984C1257006003A5C14-Ganzinger-Stuber-ic-05
2005[Georgieva, Lilia]
Maier, Patrick
[Aichernig, Bernhard K.]
[Beckert, Bernhard]
Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330
Proceedings Article3D4BAE638E030845C12570B6005153F9-GeorgievaMaier2005
2005[Goncharov, Sergey]
[Harizanov, Valentina]
[Knight, Julia F.]
[Morozov, Andrey]
Romina, Anya
On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412
Journal Article567CCE3FDB65FC2AC125700B004A9856-Romina2004
2005Hagemann, WillemFormalisierung der Arithmetik
Universität Göttingen
Thesis - other2BE00C03FF7EC47FC125754D0031DCC2-Hagemann2008
2005[Hoenicke, Jochen]
Maier, Patrick
[Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej]
Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480
Proceedings Article55FFF9D24339DC71C12570B50064D305-HoenickeMaier2005
2005Hoffmann, JörgIn Defense of PDDL Axioms
In: Artificial Intelligence [168], 38-69
Journal Article475110975FBE51C2C12570A700551FEE-ThiebauxEtal2005
2005Hoffmann, JörgThe Deterministic Part of IPC-4: An Overview
In: Journal of Artificial Intelligence Research [24], 519 - 579
Journal ArticleD5F23775DB5E254BC12570A70039EC9C-HoffmannEdelkamp2005
2005Hoffmann, JörgWhere Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758
Journal Article4E9BEC10D74FB7A2C12570D90043E246-Hoffmann2005
2005Hoffmann, Jörg
[Brafman, Ronen]
[Biundo, Susanne]
[Meyers, Karen]
[Rajan, Kanna]
Contingent Planning via Heuristic Forward Search with Implicit Belief States
In: 15th International Conference on Automated Planning and Scheduling, 71-80
Proceedings Article4FD396134AD94B31C1256FA3005CB23E-HoffmannBrafman2005a
2005Stop sign IconHoffmann, Jörg[Kaelbling, Leslie]Stop sign IconA Covering Problem for Hypercubes
In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, 579-580
Poster292598CB302FE235C12570A7003967EF-HoffmannKupferschmid2005
2005Jacobs, Swen
Waldmann, Uwe
[Beckert, Bernhard]Attachment IconComparing Instance Generation Methods for Automated Reasoning
In: Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX 2005, 153-168
Proceedings ArticleB54B67CC129A5649C1257085003336D5-JacobsWaldmann2005
2005Korovin, Konstantin
[Voronkov, Andrei]
Knuth-Bendix constraint solving is NP-complete
In: ACM Transactions on Computational Logic [6], 361-388
Journal ArticleA909D96B3210A3E9C1256E24003F32EB-KorovinVoronkov:TOCL:2004
2005[Pnueli, Amir]
Podelski, Andreas
Rybalchenko, Andrey
[Halbwachs, Nicolas]
[Zuck, Lenore]
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 124-139
Proceedings Article35EF9D6268729C1EC1256FC0004276DF-PnueliPodelskiRybalchenkoTACAS2005
2005Podelski, Andreas
Rybalchenko, Andrey
[Cook, Byron]
Counterexample-Guided Abstraction Refinement for TerminationUnpublished/DraftC14D826ED1E19F9AC1256FC1003545B1-CPR05:Terminator
2005Podelski, Andreas
Rybalchenko, Andrey
[Palsberg, Jens]
[Abadi, Martín]
Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139
Proceedings Article57767FAFB6FB6779C1256FC00041E44D-PodelskiRybalchenkoPOPL2005
2005Podelski, Andreas
Schaefer, Ina
Wagner, Silke
[Sagiv, Mooly]Attachment IconSummaries for While Programs with Recursion
In: Programming Languages and Systems: 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, 94-107
Proceedings ArticleE61A422525249181C1256FBE0053DEF4-PSW:05
2005Podelski, Andreas
Wies, Thomas
[Hankin, Chris]
[Siveroni, Igor]
Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283
Proceedings ArticleF4FCF928E05DBF59C12570000065266E-PodelskiWiesSAS2005
2005Prevosto, Virgile
[Boulmé, Sylvain]
[Urzyczyn, Pawe{ł}]Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339
Proceedings ArticleFD4A77D3E010E4C8C1256FBD00543A20-PrevostoTLCA2005
2005Ratschan, Stefan[Dolzmann, Andreas]
[Seidl, Andreas]
[Sturm, Thomas]
Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216
Proceedings ArticleE272055E00D1C519C1256FE20052073A-Ratschan2005b
2005Ratschan, Stefan
She, Zhikun
Morari, Manfred
Thiele, Lothar
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589
Proceedings ArticleF1FD6D2A2CDDFF54C1256FA50056EAF6-Ratschan2005
2005Sofronie-Stokkermans, Viorica[Nieuwenhuis, Robert]Attachment IconHierarchic reasoning in local theory extensions
In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234
Proceedings Article9C08DBB2BE613FB0C1256FF50041C6FC-Sofronie-cade-05
2005[Yuan, Cong]
[Billington, Jonathan]
Freiheit, Jörn
Attachment IconAn Abstract Model of Routing in Mobile Ad Hoc Networks
In: Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 137-156
Proceedings Article4F554DB9FD935C32C12570A8004C674E-Freiheit2005a
2004Baumgartner, Peter
[Burchardt, Aljoscha]
[Alferes, José Júlio]
[Leite, João]
Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603
Proceedings Article5AE12A227ED0507FC1256F8C003EEAB2-Baumgartner:Burchardt:LPFrameNet:JELIA:2004
2004Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare]
[Schulz, Stephan]
[Tammet, Tanel]
[Sutcliffe, Geoff]
Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24
Proceedings Article885D50EF8A8E0550C1256F8C00475D39-Baumgartner:etal:Darwin:ESFOR:2004
2004Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Kleemann, Thomas]
[Biundo, Susanne]
Frühwirth, Thom
[Palm, Günther]
Model Based Deduction for Database Schema Reasoning
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 168-182
Proceedings ArticleFB9ED61FE483B97FC1256F8C0046D5A6-Baumgartner:etal:ModelBasedSchemaReasoning:KI:2004
2004Baumgartner, Peter
[Furbach, Ulrich]
[Gross-Hardt, Margret]
[Sinner, Alex]
Living Book -- Deduction, Slicing, and Interaction
In: Journal of Automated Reasoning [32], 259-286
Journal Article22E5694CBC6673B5C1256F8C003DE880-Baumgartner:EtAl:LivingBook:JAR:2004
2004Baumgartner, Peter
[Grabowski, Barbara]
[Oevel, Walter]
[Melis, Erica]
In2Math - Interaktive Mathematik- und Informatikgrundausbildung
In: Softwaretechnik-Trends [24], 36-45
Journal ArticleC26BE7D75FBB1A29C1256F8C0047CEC2-Baumgartner:etal:in2math:swtechnik:2004
2004Baumgartner, Peter
[Mediratta, Anupam]
[Sasikumar, M.]
[Vakil, R.]
[Kavitha, M.]
Improving Stable Models Based Planning by Bidirectional Search
In: Proceedings of the 5th International Conference on Knowledge Based Computer Systems (KBCS 2004), 404-413
Proceedings Article5024C5BD02D8CB93C1256F8C003B2421-Baumgartner:Mediratta:ASPPlanningBidirectional:KBCS:2004
2004[Brafman, Ronen]
Hoffmann, Jörg
[Zilberstein, Shlomo]
[Koehler, Jana]
[Koenig, Sven]
Conformant Planning via Heuristic Forward Search: A New Approach
In: Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS 2004), 355-364
Proceedings ArticleC4F81CA319526E04C1256F580046D8FB-BrafmanHoffmann2004
2004de Nivelle, Hans
Kazakov, Yevgeny
Stop sign IconAttachment IconResolution Decision Procedures for the Guarded Fragment with
Transitive Guards
Report558E3A97489E246BC125705B0037BF0A-NivelleYevgeny2004
2004[Dubois, Catherine]
[Jaume, Mathieu]
[Pons, Olivier]
Prevosto, Virgile
[Juilland, Jacques]L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324
Proceedings ArticleB5987F965B6F406BC1256F95005F2C80-Prevosto2004
2004Ganzinger, Harald
[Hagen, George]
[Nieuwenhuis, Robert]
[Oliveras, Albert]
[Tinelli, Cesare]
[Alur, Rajeev]
[Peled, Doron]
DPLL(T): Fast Decision Procedures
In: Computer aided verification : 16th International Conference, CAV 2004, 175-188
Proceedings Article4AA28FCCECA41584C1256EBC0042AA67-GanHNOT-CAV-04
2004Ganzinger, Harald
Korovin, Konstantin
[Marcinkowski, Jerzy]
[Tarlecki, Andrzej]
Integration of equational reasoning into instantiation-based theorem proving
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 71-84
Proceedings ArticleBF63DC0F8D07033EC1256F90005FF675-GanzKor:InstEq:2004
2004Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
Attachment IconFast Term Indexing with Coded Context Trees
In: Journal of Automated Reasoning [32], 103-120
Journal ArticleB0EF8A197F4BBBE400256D20003B728C-GanzingerNieuwenhuisNivela-03-jar
2004Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe
Basin, David
Rusinowitch, Michael
Modular Proof Systems for Partial Functions with Weak Equality
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 168-182
Proceedings Article827C5504FD548DB8C1256EAC0033F34D-Ganzinger-SofronieStokkermans-Waldmann-ijcar-2004
2004[Goranko, Valentin]
[Hustadt, Ullrich]
Schmidt, Renate A.
[Vakarelov, Dimiter]
[Berghammer, Rudolf]
[Möller, Bernhard]
[Struth, Georg]
SCAN is complete for all Sahlqvist formulae
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 149-162
Proceedings Article655330F67680582FC1256CC3004662B4-GorankoHustadtSchmidtVakarelov04a
2004Hoffmann, Jörg
[Porteous, Julie]
[Sebastia, Laura]
Ordered Landmarks in Planning
In: Journal of Artificial Intelligence Research [22], 215-278
Journal ArticleC0BE5DEA7E5E5897C1256F5800576F4B-HoffmannEtal2004
2004[Jaulin, Luc]
Ratschan, Stefan
[Hardouin, Laurent]
Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26
Journal Article6A481D9A2218F3FEC1256DD50036CC5D-Ratschan2004a
2004[Jensen, Kurt]
Podelski, Andreas
Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 ; held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004ProceedingsDE7F63676755F9DCC1256F8700450175-JensenPodelski2004
2004Kazakov, Yevgeny[Alferes, José Júlio]
[Leite, João]
Attachment IconA Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384
Proceedings Article3E0C7DF49217CA81C1256EE20080EDAC-Kazakov04GF2N
2004Kazakov, Yevgeny
de Nivelle, Hans
[Basin, David]
[Rusinowitch, Michael]
A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards
In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136
Proceedings Article0AC2F1C6BA0170EFC1256EA9005205E5-KazNiv04ResGFTG
2004Lee, Chin SoonSize-change Termination AnalyzerUnpublished/Draft823FF848D6359478C1256FCD0069341D-Lee2004
2004Maier, PatrickStop sign IconAttachment IconIntuitionistic LTL and a New Characterization of Safety and LivenessReportFFAECE1D16C3D1DAC125705B0037BF0B-Maier2004
2004Maier, Patrick[Marcinkowski, Jerzy]
[Tarlecki, Andrzej]
Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309
Proceedings Article695F50750AE689DDC1256F8200490D7E-Maier2004
2004Podelski, AndreasIntroduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751
Journal Article89EE3BE1B932FBCAC1256F870073F2B4-LeuschelPodelski2004
2004Podelski, Andreas
Rybalchenko, Andrey
Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41
Proceedings Article83DBEE6FA76434F1C1256F8F00481BA8-PR04:TransInv
2004Podelski, Andreas
Rybalchenko, Andrey
[Levi, Giorgio]
[Steffen, Bernhard]
A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251
Proceedings Article265D696D345781D2C1256F8F0048FA80-PR04:LinearRanking
2004Podelski, Andreas
Schaefer, Ina
Wagner, Silke
Stop sign IconAttachment IconSummaries for While Programs with RecursionReportBEC1AD8EB82414BBC125705B0037BF0C-PodelskiSchaeferWagner2004
2004Ratschan, StefanConvergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281
Journal Article5062986501D1D47CC1256EE00056B6D9-Ratschan2004b
2004Ratschan, Stefan
Vehi, Josep
[Bittanti, Sergio]Attachment IconRobust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328
Proceedings Article13B500BDBD6D466DC1256D0200300F64-Ratschan2002
2004Schmidt, Renate A.
Orłowska, Ewa
[Hustadt, Ullrich]
[Berghammer, Rudolf]
[Möller, Bernhard]
[Struth, Georg]
Two Proof Systems for Peirce Algebras
In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 238-251
Proceedings ArticleCA460C864E6F307AC1256CC30045F267-SchmidtOrlowskaHustadt04a
2004Schmidt, Renate A.
[Tishkovsky, Dmitry]
Multi-Agent Dynamic Logics with Informational Test
In: Annals of Mathematics and Artificial Intelligence [42], 5-36
Journal ArticleE49AD91EC328DED4C1256EB6005EFFDD-SchmidtTishkovsky03c
2004Schmidt, Renate A.
[Tishkovsky, Dmitry]
[Hustadt, Ullrich]
Interaction between Knowledge, Action and Commitment within Agent Dynamic Logic
In: Studia Logica [78], 381-415
Journal Article2700048EC40F2286C1256EB5005DDF89-SchmidtTishkovskyHustadt04a
2004Sofronie-Stokkermans, VioricaResolution-based decision procedures for the positive theory of some finitely generated varieties of algebras
In: Proceedings of the 34th International Symposium on Multiple-Valued Logic (ISMVL-2004), 32-37
Proceedings ArticleEE93B3E7EBC0FEB3C1256E32004AA7BD-Sofronie-Stokkermans-ismvl-2004
2004[Trueg, Sebastian]
Hoffmann, Jörg
[Nebel, Bernhard]
[Biundo, Susanne]
[Frühwirth, Thom]
[Palm, Günther]
Applying Automatic Planning Systems to Airport Ground Traffic Control -- A Feasibility Study
In: KI 2004: Advances in Artificial Intelligence: 27th Annual German Conference on AI, KI 2004, 183-197
Proceedings Article8ACFA97E2FABAE7AC1256F580056F5DF-TruegEtal2004
2003[Avenhaus, Jürgen]
Hillenbrand, Thomas
[Löchner, Bernd]
Attachment IconOn Using Ground Joinable Equations in Equational Theorem Proving
In: Journal of Symbolic Computation [36], 217-233
Journal ArticleA129A5E170AD94F0C1256D01002C84B9-AvenhausHillenbrandLoechner2003
2003Blanchet, Bruno
Podelski, Andreas
[Gordon, Andrew D.]Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 136-152
Proceedings Article882EFCF8FCEA7F73C1256D0A0030D9D3-BP-Fossacs03
2003Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
[Mukhopadhyay, Supratik]
[Talbot, Jean-Marc]
Model checking mobile ambients
In: Theoretical Computer Science [308], 277-331
Journal Article30C5005D9C1C805CC1256D200054C703-CharatonikDGMT2003
2003de Nivelle, Hans[Baader, Franz]Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379
Proceedings Article179628522133A695C1256D0A0041B7F3-deNivelle2003b
2003de Nivelle, Hans
[de Rijke, Maarten]
Deciding the Guarded Fragments by Resolution
In: Journal of Symbolic Computation [35], 21-58
Journal Article444F28344A221540C1256D0900423679-deNivelle2003a
2003de Nivelle, Hans
[Demri, Stéphane]
Stop sign IconDeciding regular grammar logics with converse through first-order logicReport808F6A5500F46F97C1256E2700459CF5-deNivelleDemri2003a
2003de Nivelle, Hans
[Demri, Stéphane]
[Areces, Carlos]
[Blackburn, Patrick]
Deciding Modal Logics through Relational Translations into GF2
In: Proceedings of the 3rd Methods for Modalities Workshop, 15-30
Proceedings ArticleB198890BD5638018C1256E270055D64F-deNivelleDemri2003c
2003de Nivelle, Hans[Konev, Boris]
[Schmidt, Renate]
Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83
Proceedings ArticleFB577616A96B276BC1256E270056CE80-deNivelle2003c
2003[Gaillourdet, Jean-Marie]
Hillenbrand, Thomas
[Löchner, Bernd]
[Spies, Hendrik]
[Baader, Franz]Attachment IconThe New WALDMEISTER Loop at Work
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 317-321
Proceedings ArticleF7AE319E928299C3C1256D01002DD440-GaillourdetHillenbrandLoechner2003
2003Ganzinger, Harald
Hillenbrand, Thomas
Waldmann, Uwe
[Baader, Franz]Attachment IconSuperposition modulo a Shostak Theory
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 182-196
Proceedings Article4489C55BD13D7669C1256CFE005A7257-GanzingerHillenbrandWaldmann2003
2003Ganzinger, Harald
Korovin, Konstantin
[Kolaitis, Phokion]Attachment IconNew Directions in Instantiation-Based Theorem Proving
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 55-64
Proceedings Article9F899010FD50E7D7C1256D170066FF4B-GanzingerKorovin-03-lics
2003Ganzinger, Harald
[Stuber, Jürgen]
Baader, FranzAttachment IconSuperposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, 335-349
Proceedings Article834A2D263C7BFE3F00256D200035E7D7-GanzingerStuber-2003-cade
2003Hoffmann, JörgThe Metric-FF Planning System: Translating ``Ignoring Delete Lists'' To Numeric State Variables
In: Journal of Artificial Intelligence Research [20], 51
Journal Article13A5A76112C4189AC1256F5800445701-Hoffmann2003b
2003Hoffmann, JörgUtilizing Problem Structure in Planning: A Local Search ApproachBook5E2F198B2CB32395C1256F58003EEA77-Hoffmann2003a
2003Hoffmann, Jörg
[Geffner, Hector]
[Giunchiglia, Enrico]
[Muscettola, Nicola]
[Nau, Dana]
Branching Matters: Alternative Branching in Graphplan
In: 13th International Conference on Automated Planning and Scheduling (ICAPS-13), 22-31
Proceedings Article9E11012956BFF728C1256F580055A562-HoffmannGeffner2003
2003Jaeger, Manfred[Fawcett, Tom]
[Mishra, Nina]
Probabilistic Classifiers and the Concepts they Recognize
In: Proceedings of the Twentieth International Conference on Machine Learning (ICML-03), 266-273
Proceedings Article6343C6DE715C6629C1256D23004B9A2B-JaegerICML03
2003Jaeger, Manfred[Nielsen, Thomas D.]
[Zhang, Nevin L.]
Attachment IconA Representation Theorem and Applications
In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty :
7th European Conference, ECSQARU 2003, 50-61
Proceedings Article8F468E8BDA25A19FC1256D01002C63A8-JaegerECSQARU03
2003Kazakov, Yevgeny
de Nivelle, Hans
[Calvanese, Diego]
[De Giacomo, Giuseppe]
[Franconi, Enrico]
Attachment IconSubsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete
In: 2003 International Workshop on Description Logics (DL-03), 56-64
Proceedings Article746B1C632282C1C9C1256E23006ADC00-Kazakov03SubsumptionFLzero
2003Korovin, Konstantin
[Voronkov, Andrei]
Orienting rewrite rules with the Knuth-Bendix order
In: Information and Computation [183], 165-186
Journal Article989A18913FFAD6B3C1256E24003DB3B9-KorovinVoronkov:IC:2003
2003Korovin, Konstantin
[Voronkov, Andrei]
[Baader, Franz]Attachment IconAC-compatible Knuth-Bendix Order
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 47-59
Proceedings Article7B6594FD381CBD9AC1256D170068CDF9-KorovinVoronkov:CADE03:ACKBO
2003Korovin, Konstantin
[Voronkov, Andrei]
[Kolaitis, Phokion]Attachment IconOrienting Equalities with the Knuth-Bendix Order
In: 18th Annual IEEE Symposium on Logic in Computer Science (LICS-03), 75-84
Proceedings Article82F4C113C50FFB4CC1256D1700657425-KorovinVoronkov:LICS03:EqOrientability
2003[Letz, Reinhold]
Stenz, Gernot
[Cialdea Mayer, Marta]
[Pirri, Fiora]
Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133
Proceedings Article7B50675EBAF47F08C1256EBA0047B1EA-LETZ03
2003Maier, Patrick[Gordon, Andrew D.]Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357
Proceedings ArticleD6DFA25A621ED297C1256D08004352DE-Maier2003a
2003Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.]
Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15
Journal Article4BE46022487BA706C1256D0A00322329-BPR-STTT03
2003Podelski, Andreas[Zuck, Lenore]
[Attie, Paul]
[Cortesi, Agostino]
[Mukhopadhyay, Supratik]
Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13
Proceedings Article2595A3BEBA35C88BC1256D0A00307971-P-VMCAI03
2003Ratschan, Stefan[Rossi, Francesca]Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633
Proceedings Article9C2FFBD5E650EE93C1256DD500366F0E-Ratschan2003
2003Schmidt, Renate A.
[Hustadt, Ullrich]
[Baader, Franz]A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae
In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 412-426
Proceedings Article7AECA712DA7DE0B2C1256D1A005CC61A-SchmidtHustadt03b
2003[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
Multi-Agent Logic of Dynamic Belief and KnowledgeUnpublished/Draft969EF74F326D02B0C1256CC200617574-SchmidtTishkovsky02e
2003Stop sign Icon[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Balbiani, Philippe]
[Suzuki, Nobu-Yuki]
[Wolter, Frank]
[Zakharyaschev, Michael]
Stop sign IconCombining Dynamic Logic and Doxastic Modal Logics
In: Advances in Modal Logic, 371-391
Part of a BookC19034D4C389EA02C1256CC3004F7C3B-SchmidtTishkovsky03a
2003Sofronie-Stokkermans, VioricaAttachment IconResolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
In: Journal of Symbolic Computation [36], 891-924
Journal ArticleCEC92761F334BFFAC1256CB50050C081-Sofronie-Stokkermans-jsc-2003
2003Sofronie-Stokkermans, Viorica[Fitting, Melvin]
[Orlowska, Ewa]
Attachment IconRepresentation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
In: Beyond Two: Theory and Applications of Multiple Valued Logic, 59-100
Part of a BookF6DA8B3F1A74700FC1256BBC003EC55C-Sofronie-Stokkermans-mvl-2003
2003Sofronie-Stokkermans, Viorica[Nadif, Mohamed]
[Napoli, Amedeo]
[SanJuan, Eric]
[Sigayret, Alain]
Attachment IconAutomated theorem proving by resolution in non-classical logics
In: Fourth International Conference Journees de l'Informatique Messine: Knowledge Discovery and Discrete Mathematics (JIM-03), 151-167
Proceedings Article7C3D3A23074C8A17C1256D9D00366F25-Sofronie-Stokkermans-jim-2003
2003[Thiebaux, Sylvie]
Hoffmann, Jörg
[Nebel, Bernhard]
[Gottlob, Georg]In Defense of PDDL Axioms
In: 18th International Joint Conference on Artificial Intelligence, 961-966
Proceedings ArticleC4AFA253E26CB54DC1256F5800567F6E-ThiebauxEtal2003
2002Basin, David A.
Matthews, Sean
[Gabbay, Dov]
[Guenthner, Franz]
Logical Frameworks
In: Handbook of Philosophical Logic, 89-164
Part of a BookAEF8AFC876CFBE63C12568B20047B9DA-BasinMatthewsHPL
2002[Bezem, Marc]
[Hendriks, Dimitri]
de Nivelle, Hans
Automated Proof Construction in Type Theory using Resolution
In: Journal of Automated Reasoning [29], 253-275
Journal ArticleB231DAC4BCC58595C1256D090040A825-deNivelle2002b
2002Charatonik, Witold
[Amadio, Roberto]
[Brim, Lubos]
[Jancar, Petr]
[Kretinsky, Mojomir]
[Kucera, Antonin]
On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514
Proceedings Article9CAB51ABF47485F7C1256C410069794B-AmadioCharatonik2002
2002Charatonik, Witold
[Gordon, Andrew Donald]
[Talbot, Jean-Marc]
[Le Métayer, Daniel]Finite-Control Mobile Ambients
In: Programming languages and systems: 11th European Symposium on Programming, ESOP 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, 295-313
Proceedings Article585F3CCBCA901996C1256C4100675599-CharatonikGT2002
2002Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas
[Cortesi, Agostino]Compositional Termination Analysis of Symbolic Forward Analysis
In: Verification, Model Checking, and Abstract Interpretation. Third International Workshop, VMCAI 2002, 109-125
Proceedings Article978EDB9065F405D7C1256C41006672B0-CharatonikMP2002
2002Charatonik, Witold
Mukhopadhyay, Supratik
Podelski, Andreas
[Stuckey, Peter J.]Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
In: Logic Programming. 18th International Conference, ICLP 2002, 115-129
Proceedings Article6DEE3A59494DC2A5C1256CB70052FB4A-CharatonikMP2002a
2002Charatonik, Witold
Podelski, Andreas
Set Constraints with Intersection
In: Information and Computation [179], 213-229
Journal Article079D7DD74FCAD6F6412566FD0057B689-CPintersectionJ
2002Charatonik, Witold
[Talbot, Jean-Marc]
[Tison, Sophie]Atomic Set Constraints with Projection
In: Rewriting Techniques and Applications. 13th International Conference, RTA 2002, 311-325
Proceedings Article4F68EEC65F1C33B1C1256C410067F53C-CharatonikTalbot2002
2002de Nivelle, Hans[Bradfield, Julian]Extraction of Proofs from the Clausal Normal Form Transformation
In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598
Proceedings Article9D6F3F8E8C3039C0C1256D090039E7D0-deNivelle2002a
2002[de Raedt, Luc]
Jaeger, Manfred
[Lee, Sau Dan]
[Mannila, Heikki]
Attachment IconA Theory of Inductive Query Answering
In: Proceedings of the 2002 IEEE International Conference on Data Mining (ICDM'02), 123-130
Proceedings ArticleE441266330064017C1256CAF00665F14-deRJaeLeeMan02
2002Eisenbrand, Friedrich
Rinaldi, Giovanni
[Ventura, Paolo]
0/1 Optimization and 0/1 Primal Separation are Equivalent
In: Proceedings of the 13th Annual ACM SIAM Symposium on Discrete Algorithms, 920-926
Proceedings Article5E03EA9A054B3B09C1256B96002CAE90-ERV02
2002Ganzinger, Harald
[McAllester, David]
[Stuckey, Peter J.]Attachment IconLogical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223
Proceedings Article579C0AB32F1BD048C1256C410068CB89-GanzingerMcAllester-02-iclp
2002Ganzinger, Harald[Voronkov, Andrei]Attachment IconShostak Light
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 332-346
Proceedings Article332756F3E18C6188C1256BBB0045CB5C-Ganzinger-02-cade
2002Stop sign Icon[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
Stop sign IconA New Clausal Class Decidable by HyperresolutionReport337C939A34E632CDC1256CC2005F64F3-GeorgievaHustadtSchmidt02c
2002Stop sign Icon[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
[Horrocks, Ian]
[Tessaris, Sergio]
Stop sign IconOn the Relationship Between Decidable Fragments, Non-Classical Logics, and Description Logics
In: Proceedings of the International Workshop on Description Logics (DL'2002), 25-36
Proceedings Article44C4069923FB6692C1256CC200644EA9-GeorgievaHustadtSchmidt02d
2002Stop sign Icon[Georgieva, Lilia]
[Hustadt, Ullrich]
[Schmidt, Renate A.]
[Voronkov, Andrei]Stop sign IconA New Clausal Class Decidable by Hyperresolution
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 260-274
Proceedings ArticleCAF8E1274377DC3FC1256CC2005EE6D8-GeorgievaHustadtSchmidt02b
2002Hillenbrand, Thomas
[Löchner, Bernd]
[Voronkov, Andrei]Attachment IconThe Next WALDMEISTER Loop
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 486-500
Proceedings ArticleE2D2AE34E6600015C1256CB7005419D1-HL02-CADE18
2002Hillenbrand, Thomas
Podelski, Andreas
Topić, Dalibor
Charatonik, Witold
Ganzinger, Harald
Attachment IconIs Logic Effective for Analyzing C Programs?
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 27-30
Proceedings Article87105CCDA5C457F0C1256B9C00512EAA-HPT02
2002Jaeger, ManfredAttachment IconProbababilistic Decision Graphs - Combining Verification and AI Techniques for Probabilistic Inference
In: Proceedings of the First European Workshop on Probabilistic Graphical Models, 81-88
Proceedings Article8B96E7D1BCDFF6ECC1256CAF00678172-JaegerPGM02
2002Kazakov, YevgenyCharatonik, Witold
Ganzinger, Harald
Attachment IconRecursive resolution for modal logic
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 11-15
Proceedings ArticleCC1565330A853629C1256D2000528115-Kazakov2002
2002[Lang, Jérôme]
[van der Torre, Leendert W. N.]
Weydert, Emil
Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363
Journal Article49D842536433ECB4C1256A00006FF4B1-Weydert2001f
2002[Löchner, Bernd]
Hillenbrand, Thomas
Attachment IconA Phytography of WALDMEISTER
In: AI Communications [15], 127-133
Journal Article4116BB9292AC8F43C1256C1D0040D29D-LoechnerHillenbrandAICOM2002
2002Maier, PatrickCharatonik, Witold
Ganzinger, Harald
A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58
Proceedings ArticleCEB349262981FB72C1256D0A003483B3-Maier2002
2002Mukhopadhyay, Supratik
Podelski, Andreas
[Koenig, Sven]
[Holte, Robert C.]
An Algebraic Framework for Abstract Model Checking
In: Abstraction, reformulation, and approximation : 5th International Symposium, SARA 2002, 152-169
Proceedings ArticleCA09461A049DB278C1256D0A00329CF4-MP-SARA02
2002Podelski, Andreas
[Ball, Tom]
[Rajamani, Sriram K.]
[Kaoen, Joost-Pieter]
[Stevens, Perdita]
Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172
Proceedings Article13C94791C65D700CC1256D09004F7FE2-BPR-Tacas03
2002Stop sign Icon[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Flesca, Sergio]
[Greco, Sergio]
[Leone, Nicola]
[Ianni, Giovambattista]
Stop sign IconMulti-Agent Logic of Dynamic Belief and Knowledge
In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), 38-49
Proceedings Article2ADF5A82C308379CC1256CC20061131B-SchmidtTishkovsky02c
2002[Schmidt, Renate A.]
[Tishkovsky, Dmitry]
[Hustadt, Ullrich]
Interaction between Knowledge, Action and Commitment within Agent Dynamic LogicUnpublished/Draft326BFA3F0548E22DC1256CC20060B64F-SchmidtTishkovskyHustadt02a
2002Sofronie-Stokkermans, Viorica[Egly, Uwe]
[Fermüller, Christian]
Attachment IconOn uniform word problems involving bridging operators on distributive lattices
In: Automated Reasoning with Analytic and Related Methods : International Conference, TABLEAUX 2002, 235-250
Proceedings ArticleF9FCEB2398137AE1C1256BBC00400F22-Sofronie-Stokkermans-tableaux-2002
2002Vorobyov, SergeiThe undecidability of the first-order theories of one step rewriting in linear canonical systems
In: Information and Computation [175], 182-213
Journal Article2A710DEFDA246A5AC1256AAF00436D5F-Vorobyov2000-OSR
2002Vorobyov, Sergei$\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479
Journal Article918F900524C87A16C1256AAF0043B0B9-Vorobyov2000-aecu
2002Waldmann, UweA New Input Technique for Accented Letters in Alphabetical Scripts
In: Proceedings of the 20th International Unicode Conference, C12
Proceedings ArticleB993844CBF744101C1256CAE0059033B-Waldmann2002IUC
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
In: Journal of Symbolic Computation [33], 831-861
Journal ArticleB3DB8397B9661C6DC1256CAE005B88DB-Waldmann2002bJSC
2002Waldmann, UweCancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
In: Journal of Symbolic Computation [33], 777-829
Journal Article0FE819BCE345C3C0C1256CAE005B3962-Waldmann2002aJSC
2002Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor
[Voronkov, Andrei]Attachment IconSPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279
Proceedings ArticleCF921E461CE82D57C1256BBB004574BF-WBH+02-CADE18
2002Xia, Bican
[Yang, Lu]
An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems
In: Journal of Symbolic Computation [34], 461-477
Journal ArticleBDA7B7FCC5856496C1256C7E0033236D-XiaYang02
2001Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph
[Nieuwenhuis, Robert]
[Voronkov, Andrei]
Attachment IconFirst-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319
Proceedings ArticleA264C8F3F6DB9CF1C1256B4F004DCA17-AfshordelHillenbrandWeidenbach01
2001[Areces, Carlos]
[de Rijke, Maarten]
de Nivelle, Hans
Resolution in modal, description and hybrid logic
In: Journal of Logic and Computation [11], 717-736
Journal ArticleA98D062B6D5E6E9D00256D20004EEDCC-ArecesRijkeNivelle02
2001[Argon, Pablo]
[Delzanno, Giorgio]
Mukhopadhyay, Supratik
Podelski, Andreas
Pacholski, Leszek
Ruzicka, Peter
Model Checking for Communication Protocols
In: Proceedings of the 28th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM-2001), 160-170
Proceedings ArticleC5348B44C2FA0D04C1256A81007AF9FB-ArgonEtAlSofSem2001
2001[Ayari, Abdelwaheb]
Basin, David A.
A Higher-order Interpretation of Deductive Tableau
In: Journal of Symbolic Computation [31], 487-520
Journal ArticleF36309408845C23CC1256AAF003054BB-AyariBasin2001
2001Bachmair, Leo
Ganzinger, Harald
[Robinson, J. A.]
[Voronkov, A.]
Attachment IconResolution Theorem Proving
In: Handbook of Automated Reasoning, 19-99
Part of a BookE89AFB3982578341C125648E00502FAC-BachmairGanzinger-01-har
2001Stop sign IconBackes, Werner
[Wetzel, Susanne]
Näher, Stefan
Wagner, Dorothea
Stop sign IconLattice Basis Reduction with Dynamic Approximation
In: Proceedings of the 4th Workshop On Algorithm Engineering (WAE-2000), 63-73
Proceedings Article30F0E8AEE700292DC1256A00007BE16C-BaWe2000b
2001[Ball, Thomas]
Podelski, Andreas
[Rajamani, Sriram K.]
Margaria, Tiziana
Yi, Wang
Boolean and Cartesian Abstraction for Model Checking C Programs
In: Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2001), 268-283
Proceedings Article7AC27A8A5308B55BC1256AB00050286D-BallPodelskiRajamaniTACAS2000
2001[Basin, David A.]
Ganzinger, Harald
Attachment IconAutomated Complexity Analysis Based on Ordered Resolution
In: Journal of the ACM [48], 70-109
Journal Article28522DC6EE4FC3B0C1256AB500651BA7-BasinGanzinger-01-jacm
2001[Bockmayr, Alexander]
Eisenbrand, Friedrich
Cutting planes and the elementary closure in fixed dimension
In: Mathematics of Operations Research [26], 304-312
Journal ArticleB97891AA50F16356C1256A110050E110-BE2001
2001Bockmayr, Alexander
[Weispfenning, V.]
[Robinson, Alan]
[Voronkov, Andrei]
Solving numerical constraints
In: Handbook of Automated Reasoning, 751-842
Part of a BookF23D9B9349C9734EC1256753004DD22E-BockmayrWeispfenning01
2001Booth, RichardThe lexicographic closure as a revision process
In: Journal of Applied Non-Classical Logics [11], 35-58
Journal Article272D64A0089B03CAC1256ABC0036BB88-Booth-jancl
2001Stop sign IconCharatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
[Talbot, Jean-Marc]
Stop sign IconThe Complexity of Model Checking Mobile AmbientsReport73F52BFBEACE084CC1256AA8004EF218-CDGMT2001-techrep
2001Charatonik, Witold
[Dal Zilio, Silvano]
[Gordon, Andrew Donald]
Mukhopadhyay, Supratik
Talbot, Jean-Marc
[Honsell, Furio]
[Miculan, Marino]
The Complexity of Model Checking Mobile Ambients
In: Foundations of Software Science and Computation Structures. Proceedings of the 4th International Conference (FOSSACS-01). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 152-167
Proceedings Article225F36F8C9FDFD69C1256A1000555C5F-CDGMT01
2001Charatonik, Witold
[Talbot, Jean-Marc]
Fribourg, LaurentThe Decidability of Model Checking Mobile Ambients
In: Computer science logic (CSL-01) : 15th International Workshop, CSL 2001, Annual Conference of the EACSL, 339-354
Proceedings Article22156CFDF093BF99C1256AA00045C40A-CharatonikTalbot-csl01
2001de Nivelle, Hans
[Blackburn, Patrick]
[Bos, Johan]
[Kohlhase, Michael]
Inference and Computational Semantics
In: Studies in Linguistics and Philosophy, Computing Meaning [77], 11-28
Journal Article73AB1CE91A3AEF51C1256B84004D93DC-deNivelle2001slp
2001de Nivelle, Hans[Nieuwenhuis, Robert]
[Voronkov, Andrei]
Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185
Proceedings Article604CEEEBB30897D5C1256B84004C9E1C-deNivelle2001lpar
2001de Nivelle, Hans
[Pratt-Hartmann, Ian]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 211-225
Proceedings Article4CAF0BB248D2BB51C1256AB200365D8D-deNivelle2001
2001de Nivelle, Hans
[Schulz, Stephan]
Proceedings of the 2nd International Workshop on the Implementation of LogicsProceedings85B5D5861A15681BC1256B84004FB61D-deNivelleSchulz2001
2001Delzanno, Giorgio
Podelski, Andreas
Constraint-based Deductive Model Checking
In: International Journal on Software Tools for Technology Transfer (STTT) [3], 250-270
Journal Article658C5C0C981C0C84C1256D0A0033BA24-DP-STTT01
2001Eisenbrand, FriedrichShort vectors of planar integral lattices via continued fractions
In: Information Processing Letters [79], 121-126
Journal Article80C11B82EB5E8514C1256A11005105A3-Eisenbrand2001
2001Eisenbrand, Friedrich
[Rote, Günter]
Gerards, Bert
Aardal, Karen
Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89
Proceedings Article4A4D466E5DE8B701C1256A110051924A-ER2001
2001Eisenbrand, Friedrich
[Rote, Günter]
Silverman, J.Fast reduction of ternary quadratic forms
In: Proceedings of the 1st Conference on Lattices and Cryptography (CaLC-01), 99-111
Proceedings Article4BCDFC9B8204A7AEC1256A110051EECF-ER2001b
2001[Fermüller, Christian G.]
[Leitsch, Alexander]
Hustadt, Ullrich
[Tammet, Tanel]
[Robinson, Alan]
[Voronkov, Andrei]
Resolution Decision Procedures
In: Handbook of Automated Reasoning, 1793-1849
Part of a BookB9E81E7AC584EE97C1256AB600259FAF-Hustadt2001handbook
2001Ganzinger, HaraldEfficient deductive methods for program analysis
In: ACM SIGPLAN Notices [36], 102-103
Journal ArticleD3A03BCFE06E5150C1256B44005E1BD2-Ganzinger:2001:EDM
2001Ganzinger, Harald[Danvy, Olivier]
[Filinski, Andrzej]
Bottom-Up Deduction with Deletion and Priorities
In: Programs as Data Objects (PADO-01) : Second Symposium PADO 2001, 276-277
Proceedings Article2B995187988B0080C1256CB7003E9561-Ganzinger2003a
2001Ganzinger, Harald
Hustadt, Ullrich
Meyer, Christoph
Schmidt, Renate A.
[Zakharyaschev, Michael]
[Segerberg, Krister]
[de Rijke, Maarten]
[Wansing, Heinrich]
Attachment IconA Resolution-Based Decision Procedure for Extensions of K4
In: Advances in Modal Logic, Volume 2, 225-246
Part of a Book0BECC945CC71EA19C125675A006045A2-Ganzinger-et-al-00-AIML
2001Ganzinger, Harald
[McAllester, David]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
Attachment IconA new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528
Proceedings Article51200EE5697F66D0C1256AB5004FD735-GanzingerMcAllester-01-ijcar
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Comon, Hubert]
[Marché, Claude]
[Treinen, Ralf]
Attachment IconConstraints and Theorem Proving
In: Contraints in Computational Logics, International Summer School (CCL-99), 159-201
Proceedings Article09CCE91D7D10F1D7C1256AB5005B7F2D-GanzingerNieuwenhuis-01-ccl
2001Ganzinger, Harald
[Nieuwenhuis, Robert]
[Nivela, Pilar]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
Attachment IconContext trees
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 242-256
Proceedings ArticleEB2E979F49F72498C1256AB50052FCC3-GanzingerNieuwenhuisNivela-01-ijcar
2001Ganzinger, Harald[Williams, Denise A.]Attachment IconRelating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems
In: Proceedings of the 16th IEEE Symposium on Logic in Computer Science (LICS-01), 81-90
Proceedings Article271953657FA398B3C1256AB50054F798-Ganzinger-01-lics
2001Hillenbrand, Thomas
[Löchner, Bernd]
de Nivelle, Hans
[Schulz, Stephan]
Attachment IconThe Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21
Proceedings Article24C8934D9796AD20C1256B7D006E46CF-HillenbrandLoechner2001
2001Jaeger, ManfredAttachment IconAutomatic Derivation of Probabilistic Inference Rules
In: International Journal of Approximate Reasoning [28], 1-22
Journal Article84E804A247DFE550C1256AA9004EBC08-JaegerIJAR01
2001Jaeger, ManfredAttachment IconComplex Probabilistic Modeling with Recursive Relational Bayesian Networks
In: Annals of Mathematics and Artificial Intelligence [32], 179-220
Journal Article7C7F8A8C1C095115C1256AA9004AF849-JaegerAMAI01
2001Jaeger, Manfred[Nebel, Bernhard]Attachment IconConstraints as Data: a New Perspective on Inferring Probabilities
In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), 755-760
Proceedings ArticleBFFAFD324692662CC1256AA90049F315-JaegerIJCAI01
2001[Lang, Jérôme]
van der Torre, Leendert W. N.
Weydert, Emil
Parsons, Simon
Gmytrasiewicz, Piotr
Two Kinds of Conflicts between Desires (and how to resolve them)
In: Proceedings of the AAAI Symposium on Game and Decision Theoretic Agents, 54-59
Proceedings Article1185C4F4D33A0660C1256A01003D3C5B-Weydert2001a
2001Maier, Patrick[Orejas, Fernando]
[Spirakis, Paul G.]
[van Leeuwen, Jan]
A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834
Proceedings Article5591D85165BBA635C1256AAF0051F355-Maier2001
2001Stop sign Icon[Makinson, David]
van der Torre, Leendert W. N.
Stop sign IconInput-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29
Proceedings Article626374593463ACC7C12568BA0031DBFD-makinson99b
2001Mukhopadhyay, Supratik
Podelski, Andreas
[Ramakrishnan, I.V.]Attachment IconConstraint Database Models Characterizing Timed Bisimilarity
In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, 245-258
Proceedings ArticleBBF8B1C122A60B43C12569D000626E58-MukhopadhyayPodelski2001
2001Mukhopadhyay, Supratik
Podelski, Andreas
Zamulin, Alexandre
Broy, Manfred
Bjorner, Dines
Accurate Widenings and Boundedness Properties of Timed Systems
In: Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, 79-94
Proceedings ArticleDC564864DBC983A6C1256A720053E13D-MukhopadhyayPodelskiErshov2001
2001Nielson, Flemming
[Seidl, Helmut]
Hussmann, HeinrichControl-Flow Analysis in Cubic Time
In: Proceedings of the 10th European Symposium on Programming (ESOP-01) held as part of the Joint European Conferences on Theory and Practice of Software (ETAPS-01), 252-268
Proceedings ArticleA3872FDBAFF288A3C1256A1B002F345C-NiSe01esop
2001[Nieuwenhuis, Robert]
Hillenbrand, Thomas
[Riazanov, Alexandre]
[Voronkov, Andrei]
[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
Attachment IconOn the Evaluation of Indexing Techniques for Theorem Proving
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 257-271
Proceedings ArticleCBAEA87E20538655C1256B7D006FC3FF-NieuwenhuisHillenbrandRiazanovVoronkov2001
2001Nonnengart, AndreasStrong SkolemizationUnpublished/Draft2870C6FE6C2927A1C125651D004D1C6D-Nonnengart98
2001Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.]
Robinson, Alan
Voronkov, Andrei
Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486
Part of a BookC7B54EC0C6CD4AEAC125675F002AD10F-NonnengartOhlbachGabbay2001
2001Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Szalas, Andrzej]
Quantifier Elimination for Second-Order Predicate LogicUnpublished/Draft6D12EC0552A6B393C125648000356435-NonnengartOhlbachSzalas98
2001Nonnengart, Andreas
Weidenbach, Christoph
[Robinson, Alan]
[Voronkov, Andrei]
Computing small clause normal forms
In: Handbook of Automated Reasoning, 335-367
Part of a Book902E7096658DF7FFC1256753004DA0DF-NonnengartWeidenbach2001handbook
2001Sofronie-Stokkermans, VioricaAttachment IconAutomated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators
In: Multiple-Valued Logic - An International Journal [6], 289-344
Journal Article39FB0FA6B8009F66C12567520034DDDF-Sofronie-Stokkermans1999
2001Sofronie-Stokkermans, VioricaRepresentation theorems and the semantics of (semi)lattice-based logics
In: Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics, 125-134
Proceedings Article6864D3134AFD63D2C1256A5C002CE24A-Sofronie-Stokkermans2001-ismvl
2001van der Torre, Leendert W. N.
Weydert, Emil
Parameters for Utilitarian Desires in a Qualitative Decision Theory
In: Applied Artificial Intelligence [14], 285-301
Journal ArticleAFA1D9D13397B939C1256A00006EB0A2-Weydert2001c
2001Waldmann, Uwe[Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias]
Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 226-241
Proceedings Article40302D47E88DB5B1C1256A8C0053DA2B-Waldmann2001IJCAR
2001Weidenbach, Christoph[Robinson, Alan]
[Voronkov, Andrei]
Combining Superposition, Sorts and Splitting
In: Handbook of Automated Reasoning, 1965-2013
Part of a Book8B16166D7E7AE98BC1256AB6003075F2-Weidenbach2001handbook
2001Weydert, EmilDefaults, Logic and Probability - A theoretical perspective
In: KI - Künstliche Intelligenz [4/01], 44-49
Journal Article377EBFA7855FB2D9C1256A0100336443-Weydert2001d
2001Weydert, EmilBenferhat, Salem
Besnard, Philippe
Rankings we prefer: a minimal construction semantics for default reasoning
In: Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-01), 616-627
Proceedings Article855121EF05F2682EC1256AB00066B642-Weydert2001e
2001Weydert, Emil[Brewka, Gerhard]
[Witteveen, Cees]
[Schaub, Torsten]
Rankings we prefer: a rational minimal construction semantics for default reasoning
In: Proceedings of the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-01), 1-12
Proceedings Article1DE9E6841A1ACB21C1256AB0006653A3-Weydert2001b
2000[Anderson, Penny]
Basin, David A.
Program Development Schemata as Derived Rules
In: Journal of Symbolic Computation [30], 5-36
Journal Article7753DE65EF5CDC83C12568B20045C96E-BasinAnderson00
2000Backes, Werner
[Wetzel, Susanne]
Bosma, WiebNew Results on Lattice Basis Reduction in Practice
In: Proceedings of the 4th International Algorithmic Number Theory Symposium (ANTS-IV), 135-152
Proceedings Article7C3BA042F6084916C1256A000078E56E-BaWe2000a
2000[Bugliesi, Michele]
Delzanno, Giorgio
[Liquori, Luigi]
[Martelli, Maurizio]
Object Calculi in Linear Logic
In: Journal of Logic and Computation [10], 75-104
Journal ArticleFDF510126FDD0441C125675A003758B0-DelzannoBLM1999
2000Charatonik, Witold
Podelski, Andreas
Talbot, Jean-Marc
Paths vs. Trees in Set-based Program Analysis
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 330-337
Proceedings Article5E4283F029E41586C125685C0050524A-CharatonikPodelskiTalbot-POPL00
2000Charatonik, Witold[Smolka, Gert]Directional Type Checking for Logic Programs: Beyond Discriminative Types
In: Proceedings of the 8th European Symposium on Programming (ESOP-00), 72-87
Proceedings Article7449ECDC219353DEC125685C00512676-Charatonik-ESOP00
2000de Nivelle, HansDeciding the E-plus class by an a posteriori, liftable order
In: Annals of Pure and Applied Logic [88], 219-232
Journal Article210922E9D2D51F71C1256A010053E078-deNivelle2000
2000de Nivelle, Hans
[Bezem, Marc]
[Hendriks, Dimitri]
[McAllester, David]Automated Proof Construction in Type Theory Using Resolution
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163
Proceedings ArticleC7F3D0AE81390D02C1256A01004ECE4D-deNivelle2000a
2000de Nivelle, Hans[Faller, Martina]
[Kaufmann, Stefan]
[Pauly, Marc]
An Overview of Resolution Decision Procedures
In: Formalizing the Dynamics of Information, 115-130
Proceedings ArticleB6B553C2B9E40862C1256A01005066C7-deNivelle2000b
2000de Nivelle, Hans
Hustadt, Ullrich
[Schmidt, Renate A.]
Resolution-Based Methods for Modal Logics
In: Logic Journal of the IGPL [8], 265-292
Journal Article40B50064E89309E5C1256A0100561F0E-deNivelle2000c
2000[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
Decidability and Complexity of Simultaneous Rigid E-unification with One Variable and Related Results
In: Theoretical Computer Science [243], 167-184
Journal ArticleF9C6459652E4B317C125675B0068D57A-DGNVV99
2000Delzanno, Giorgio
[Raskin, Jean-François]
[Graf, Susann]
[Schwartzbach, Michael I.]
Symbolic Representation of Upward-Closed Sets
In: Proceedings of the 6th Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-00); Held as Part of the European Joint Conferences on the Theory and Practice of Software (ETAPS-00), 426-440
Proceedings Article6D7DCD150C50D03DC1256AB6002E4E0C-DelzannoRaskinTACAS2000
2000Eisenbrand, Friedrich
[Bockmayr, Alexander]
Kirchner, H.
Ringeissen, C.
Combining logic and optimization in cutting plane theory
In: Proceedings of the Workshop on Frontiers of Combining Systems (FROCOS-2000), 1-17
Proceedings Article6CED89BFB3A2D677C1256A11005015D9-BockmayrEisenbrand2000
2000[Esparza, Javier]
Podelski, Andreas
Efficient Algorithms for Pre$^\star$ and Post$^\star$ on Interprocedural Parallel Flow Graphs
In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL-00), 1-11
Proceedings ArticleA9208369E45B2127C1256A110037E8D1-EsparzaPodelskiPOPL00
2000[Furbach, Ulrich]
Ganzinger, Harald
[Hasegawa, Ryuzo]
[Kapur, Deepak]
DeductionProceedings32CB6BDB1284186CC12569F2004C0200-Ganzinger-et-al-01-Dagstuhl
2000Ganzinger, Harald
[Jacquemard, Florent]
[Veanes, Margus]
Rigid Reachability: The Non-Symmetric Form of Rigid E-unification
In: International Journal of Foundations of Computer Science [11], 3-27
Journal ArticleED721AE17360EEF6C12569E0004C19F3-GanzingerJacquemardVeanes-00-ijfcs
2000Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Attachment IconChaining Techniques for Automated Theorem Proving in Many-Valued Logics
In: Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00), 337-344
Proceedings ArticleFB6D747BCE8069D1C1256743004FF6EC-GanzingerSofronie-Stokkermans-00-ismvl
2000[Göbel, Manfred]
Maier, Patrick
[Ganzha, Victor G.]
[Mayr, Ernst W.]
[Vorozhtsov, Evgenii V.]
Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202
Proceedings ArticleBC7C8447E9A84570C12569FA00455D73-GoebelMaier2000
2000[Iturrioz, Luisa]
Sofronie-Stokkermans, Viorica
[Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko]
SHn-algebras (Symmetric Heyting algebras of order n)
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-11
Part of a Book8EA92C0FDF3204F5C12569DA005C93FA-Sofronie-Stokkermans2000-atlas-1
2000Jaeger, ManfredAttachment IconOn the complexity of inference about probabilistic relational models
In: Artificial Intelligence [117], 297-308
Journal ArticleADCD4005448FD8EFC12569D500647999-Jaeger00
2000Krishna Rao, M. R. K.Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164
Journal ArticleB6A325DBACD16029C1256A060037DAB7-Rao:2000:SCS
2000Krishna Rao, M. R. K.Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223
Journal ArticleCF83387D078D32C8C1256A060036FB06-r-cppipd-00
2000[Levy, Jordi]
Veanes, Margus
On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150
Journal Article631CD679D06FB1C8C125675B0066825F-LevyVeanes99
2000[Lu, Mi]
Wu, Jinzhao
On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143
Journal ArticleB4111BC69E95E21AC125671700431F09-LuWu1999
2000[Makinson, David]
van der Torre, Leendert W. N.
Input-output logics
In: Journal of Philosophical Logic [29], 383-408
Journal ArticleFBF5883AF477A78DC12567510049BCE5-makinson99
2000Matthews, Seán
[Basin, David A.]
Structuring Metatheory on Inductive Definitions
In: Information and Computation [162], 80-95
Journal ArticleDA2CA92C2B0BE77E412566FA003F1C39-BasinMatthews98a
2000Mukhopadhyay, Supratik
Podelski, Andreas
Lloyd, John W.
Dahl, Verónica
Furbach, Ulrich
Kerber, Manfred
Lau, Kung-Kiu
Palamidessi, Catuscia
Pereira, Luís Moniz
Sagiv, Yehoshua
Stuckey, Peter J.
Model Checking for Timed Logic Processes
In: Proceedings of the 1st International Conference on Computational Logic, 598-612
Proceedings ArticleB56A81F75D196EACC1256A7200533183-Mukhopadhyay2000
2000[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
Ordering Constraints over Feature Trees
In: Constraints [5], 7-41
Journal ArticleFC3F60F9A0443F6F412566FD005727D1-MNP:Constraints99
2000Podelski, Andreas[Palsberg, Jens]Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237
Proceedings Article45237DA015078117C1256A1000528303-P-SAS00
2000Schmidt, Renate A.[Böttner, Michael]
[Thümmel, W.]
Relational Grammars for Knowledge Representation
In: Variable-Free Semantics, 162-180
Part of a Book3C40C0F75E2F4FC4C125641B0057E367-Schmidt97a
2000Sofronie-Stokkermans, VioricaAttachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part I
In: Studia Logica [64], 93-132
Journal ArticleC5B22D665572099A412566F6003DF8D1-Sofronie1997b
2000Sofronie-Stokkermans, VioricaAttachment IconDuality and Canonical Extensions of Bounded Distributive Lattices with Operators and Applications to the Semantics of Non-Classical Logics. Part II
In: Studia Logica [64], 151-172
Journal Article5ED9677552C8C16C412566F6003E63C3-Sofronie1997c
2000Sofronie-Stokkermans, VioricaAttachment IconPriestley Duality for SHn-algebras and Applications to the Study of Kripke-style Models for SHn-logics
In: Multiple-Valued Logic - An International Journal [5], 281-305
Journal Article21F204D8729C7CC6412566F6003A0D1B-Sofronie1997a
2000Sofronie-Stokkermans, VioricaAttachment IconResolution-based theorem proving for SHn-logics
In: Automated Deduction in Classical and Non-Classical Logic (Selected Papers of FTP'98), 268-282
Proceedings Article6404025BAD488864C125687A003A6AB1-Sofronie-Stokkermans-ftp2000
2000Sofronie-Stokkermans, Viorica[Iturrioz, Luisa]
[Orlowska, Ewa]
[Turunen, Esko]
Some properties of Kleene algebras
In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, 1-7
Part of a BookE1F3CC825982F48DC12569DA005BF774-Sofronie-Stokkermans2000-atlas-2
2000Sofronie-Stokkermans, Viorica[McAllester, David]Attachment IconOn unification for bounded distributive lattices
In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481
Proceedings Article7D22049F387A3223C12568D9005867FA-Sofronie-Stokkermans-cade2000
2000Stuber, JürgenBachmair, LeoDeriving Theory Superposition Calculi from Convergent Term Rewriting Systems
In: Proceedings of the 11th International Conference Rewriting Techniques and Applications (RTA-00), 229-245
Proceedings Article338341EB9926A42BC1256A9B002D595E-Stuber2000RTA
2000Talbot, Jean-MarcThe $\exists \forall^2$ fragment of the First-Order Theory of Set Constraints is $\pi^0_1$-hard
In: Information Processing Letters [74], 27-33
Journal ArticleC1BED562B1C81E73C12568AA004B907B-TalbotIPL2000
2000Talbot, Jean-Marc
[Devienne, Philippe]
[Tison, Sophie]
Generalized Definite Set Constraints
In: Constraints [5], 161-202
Journal Article061CECE71AA2A797C125675B003BB21B-TalbotDevienneTison_Constraints2000
2000Talbot, Jean-Marc[Parigot, Michel]
[Voronkov, Andrei]
On the Alternation-free Horn mu-calculus
In: Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR-2000), 418-435
Proceedings ArticleD062143E502DEA63C125693E006BF506-Talbot2000c
2000Veanes, MargusFarmer's Theorem Revisited
In: Information Processing Letters [74], 47-53
Journal ArticleC8D45CD5B311F34FC125675F002E929D-Veanes99
2000Weydert, EmilThoughts on Evolving Science and Belief
In: Proceedings of the Workshop "Scientific Reasoning in AI and Philosophy of Science" at the 14th European Conference on Artificial Intelligence (ECAI-00), 62-69
Proceedings Article1DC7F6262D752D02C1256AB00060B36D-Weydert2000b
2000Weydert, Emil[Cunningham, Jim]
[Gabbay, Dov]
Rankings in flux
In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), 37-48
Proceedings Article5FC822DD292BA571C1256A01003BA98D-Weydert2000c
2000Weydert, Emil[Horn, Werner]How to revise ranked probabilities
In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), 38-42
Proceedings Article98116A584C2EB3BFC1256A010038B7AB-Weydert2000a
2000Wu, Jinzhao[Gao, X-S.]
[Wang, D.]
First-Order Polynomial based Theorem Proving
In: Mathematics Mechanizations and Applications, 273-294
Part of a BookA6E6D51F43CF988AC12567170043DC37-Wu1999
1999Basin, David A.
Friedrich, Stefan
Modeling a Hardware Synthesis Methodology in Isabelle
In: Formal Methods in Systems Design [15], 99-122
Journal Article5905BB1B99B7B7E7C12568B200457274-BasinFriedrichVeritas
1999Basin, David A.
Krieg-Brückner, Bernd
[Astesiano, Egidio]
[Kreowski, H.-J.]
[Krieg-Brückner, B.]
Formalization of the Development Process
In: Algebraic foundations of systems specification, 521-562
Part of a Book5379CADC9C767FACC12568B2004A8516-mod-modal
1999[Blackburn, Patrick]
Tzakova, Miroslava
Hybrid Languages and Temporal Logic
In: Logic Journal of the IGPL [7], 27-54
Journal ArticleFABF7D15559C5285C1256695004AE933-Tzakova99a
1999Bockmayr, Alexander
Eisenbrand, Friedrich
[Hartmann, Mark]
[Schulz, Andreas S.]
On the Chvátal Rank of Polytopes in the 0/1 Cube
In: Discrete Applied Mathematics [98], 21-27
Journal Article1DEA2DCF5EF227A9C1256754002C54D4-BEHS98
1999[Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano]
[Apt, K.]
[Marek, V. W.]
[Truszczynski, M.]
[Warren, D. S.]
Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics
In: The Logic Programming Paradigm: a 25-Year Perspective, 5-32
Part of a Book2758A09DEA2EB3F2C125675B002EA1F6-DelzannoBMMZb1999
1999[Bozzano, Marco]
Delzanno, Giorgio
[Martelli, Maurizio]
[Mascardi, Viviana]
[Zini, Floriano]
Gupta, GopalMulti-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60
Proceedings Article3B473BD3785C3888C125675A0034BB96-DelzannoBMMZ1999
1999[Buchmann, Johannes]
Eisenbrand, Friedrich
On Factor Refinement in Number Fields
In: Mathematics of Computation [68], 345-350
Journal ArticleBF76D983D7EDFEFDC12567530036EC97-BE98
1999Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
[Wiedermann, Jiri]
[van Emde Boas, Peter]
[Nielsen, Mogen]
Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260
Proceedings Article858FA899FAA2C594C12567430056D5B4-Cortier-et-al-99
1999de Nivelle, Hans
[Areces, Carlos]
[de Rijke, Maarten]
Ganzinger, HaraldPrefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201
Proceedings ArticleAED92B9CB2E7AD9DC1256AB20034EC8E-deNivelle1999direct
1999Delzanno, Giorgio
[Esparza, Javier]
Podelski, Andreas
[Flum, Jörg]
[Rodríguez-Artalejo, Mario]
Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66
Proceedings Article82847004F03F7C68C12568AF002F7BFF-DelzannoEsparzaPodelski99
1999Delzanno, Giorgio
[Galmiche, Didier]
[Martelli, Maurizio]
A specification logic for concurrent object-oriented programming
In: Mathematical Structures in Computer Science [9], 253-286
Journal ArticleE152A46A672FE917C125675A0037B25D-DelzannoGM1999
1999Delzanno, Giorgio
Podelski, Andreas
Cleaveland, RanceModel Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239
Proceedings Article1ABF1525135CB0E8412566FD0058BC88-Podelski1998
1999Eisenbrand, FriedrichOn the Membership Problem for the Elementary Closure of a Polyhedron
In: Combinatorica [19], 297-300
Journal Article82FAFD7192E291CDC1256754002F19E9-Eisenbrand1999
1999Eisenbrand, Friedrich
[Schulz, Andreas S.]
[Cornuéjols, Gérard]
Burkard, Rainer E.
Woeginger, Gerhard J.
Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150
Proceedings Article7448CAE1126F526BC1256754002DA34B-EisenSchulz1999
1999Ganzinger, HaraldProceedings of the 16th International Conference on Automated Deduction (CADE-16)Proceedings9F8AF0350A7F2CFEC125688E00358D75-Ganzinger-ed-cade-1999
1999Ganzinger, Harald
de Nivelle, Hans
[Longo, Giuseppe]Attachment IconA Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303
Proceedings ArticleB613AAD4404037B3C1256744002BF554-GanzingerNivelle-99-lics
1999Ganzinger, Harald
[McAllester, David]
[Voronkov, Andrei]
Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99)Proceedings47D6A4FD814DA9E3C125688D0043CE50-Ganzinger1999LPAR
1999Ganzinger, Harald
Meyer, Christoph
Veanes, Margus
[Longo, Giuseppe]The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34
Proceedings Article03DBFC3446D59712C1256744002B93FA-GanzingerMeyerVeanes-99-lics
1999[Gurevich, Yuri]
Veanes, Margus
Logic with Equality: Partisan Corroboration and Shifted Pairing
In: Information and Computation [152], 205-235
Journal ArticleBF6765C77376770AC125675B0065156D-GurevichVeanes99
1999Hustadt, Ullrich
Schmidt, Renate A.
An Empirical Analysis of Modal Theorem Provers
In: Journal of Applied Non-Classical Logics [9], 479-522
Journal ArticleFD2FD5DB0EE48EEBC12568A900657EE6-HustadtSchmidt99e
1999Hustadt, Ullrich
Schmidt, Renate A.
On the relation of resolution and tableaux proof systems for description logics
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 110-115
Proceedings Article67A3E20E68980A97C125675A0061DA11-HustadtSchmidt99b
1999Hustadt, Ullrich
Schmidt, Renate A.
Ganzinger, HaraldMaslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186
Proceedings ArticleA468B1754A16EFF1C125675A00619269-HustadtSchmidt99a
1999Jaeger, Manfred[Kwiatkowska, Marta]Attachment IconFairness, Computable Fairness and Randomness
In: Proceedings of the 2nd International Workshop on Probabilistic Methods in Verification (PROBMIV-99), 57-66
Proceedings Article21ED7872A37ABC3FC125688F00626135-Jaeger99
1999Madden, Peter
[Bundy, Alan]
[Smaill, Alan]
Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115
Journal ArticleC37058B79D429864C125614400622BFC-Madden-JAR
1999Mukhopadhyay, Supratik
Podelski, Andreas
[Ramanujam, R]
[Raman, V.]
Attachment IconBeyond Region Graphs: Symbolic Forward Analysis of Timed Automata
In: Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS-99), 232-244
Proceedings ArticleCCD5912D3A4751474125682B0058EE57-MukhopadhyayPodelskiFSTTCS1999
1999Nonnengart, Andreas
[Szalas, Andrzej]
[Orlowska, Ewa]A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory
In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 18
Part of a Book9D5B588D581786D2412566FD00518D16-NonnengartSzalas1999
1999Podelski, Andreas
Charatonik, Witold
[Müller, Martin]
[Swierstra, S. Doaitse]Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192
Proceedings Article0464E41A9AF1C3CBC125675B00381D9F-PodelskiCharatonikMueller-ESOP99
1999Schmidt, Renate A.Decidability by Resolution for Propositional Modal Logics
In: Journal of Automated Reasoning [22], 379-396
Journal ArticleFC6C107591B980F7C125675A005EDFA6-Schmidt99a
1999Sofronie-Stokkermans, VioricaRepresentation Theorems and Automated Theorem Proving in Non-Classical Logics
In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), 242-247
Proceedings Article0B081A8B313B1B07C125674600691176-Sofronie-Stokkermans1999-ismvl
1999Stop sign IconSofronie-Stokkermans, Viorica[Cachro, Jacek]
[Kijania-Placek, Katarzyna]
Stop sign IconResolution-based theorem proving for non-classical logics based on distributive lattices with operators
In: Proceedings of the 11th International Congress of Logic, Methodology and Philosophy of Science. Volume of abstracts, 481-481
Proceedings ArticleE267ED2CCE6BE74BC125688E003C3CF0-Sofronie-Stokkermans1999-lmps
1999Sofronie-Stokkermans, VioricaGanzinger, HaraldAttachment IconOn the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 157-171
Proceedings Article377126A3548F6E6CC12567460069F5E0-Sofronie-Stokkermans1999-cade
1999Sofronie-Stokkermans, Viorica
[Stokkermans, Karel]
[Ciobanu, Gabriel]
[Paun, Gheorghe]
Attachment IconModeling Interaction by Sheaves and Geometric Logic
In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), 512-523
Proceedings Article5B6210808B8A4635C12567EE003DD107-Sofronie-Stokkermans1999-fct
1999Sofronie-Stokkermans, Viorica[Vaz de Carvalho, Júlia]
[Ferreirim, Isabel]
Priestley representation for distributive lattices with operators and applications to automated theorem proving
In: Dualities, Interpretability and Ordered Structures, 43-54
Proceedings Article9F028E44B565D932C125687A003C3C87-Sofronie-Stokkermans-dualities1999
1999Stuber, Jürgen[Narendran, Paliath]
[Rusinowitch, Michael]
Theory path orderings
In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), 148-162
Proceedings ArticleDAB0D3D6E1ABCF2BC125674600490862-Stuber1999RTA
1999Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin]
[Longo, Giuseppe]Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294
Proceedings Article6EE1815E7E91483DC125675B0043181B-NiehrenMuellerTalbot_LICS1999
1999Tzakova, Miroslava[Murray, Neil V.]Tableau Calculi for Hybrid Logics
In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, 278-292
Proceedings Article2A80BAD8433CD327C125672B005D4306-Tzakova99b
1999van der Torre, Leendert W. N.[Hunter, Anthony]
[Parsons, Simon]
Defeasible Goals
In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), 374-385
Proceedings ArticleB2AEB9302F7258F8C12567510046C4B6-torre:ecsqaru99
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Contrary-to-duty reasoning with preference-based dyadic obligations
In: Annals of Mathematics and Artificial Intelligence [27], 49-78
Journal Article13E8DEAAF7A245A1C1256751004CA07F-torre:jmai99
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Diagnosis and Decision Making in Normative Reasoning
In: Journal of Artificial Intelligence and Law [7], 51-67
Journal Article445A456FCBB5E064C1256751005BB464-Torre98.1
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Rights, Duties and Commitments Between Agents
In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), 1239-1244
Proceedings Article6D54EDC16D05329DC125675100473242-torre:ijcai99
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Cavalcanti, Marcos]Contextual Deontic Logic: violation contexts and factual defeasibility
In: Formal Aspects in Context, 173-192
Part of a Book1432C4AD5CEF4674C125675100452F66-torre:context99
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[Laskey, Kathryn B.]
[Prade, Henri]
An Update Semantics for Defeasible Obligations
In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), 631-638
Proceedings ArticleE83DEC706A5F56ADC125675B002D14CC-torre:uai99
1999van der Torre, Leendert W. N.
[Tan, Yao-Hua]
[McNamara, Paul]
[Prakken, Henri]
An update semantics for deontic reasoning
In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, 73-90
Part of a Book11917E20972A2D2AC12567510045B098-torre:update99
1999Vorobyov, Sergei[Gottlob, Georg]
[Grandjean, Etienne]
[Seyr, Katrin]
Attachment IconSubtyping Functional+Nonempty Record Types
In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, 285-297
Proceedings ArticleB535BC26FE7E2720412566FA003F0BE5-Vorobyov1998CSL
1999Voronkov, AndreiThe ground-negative fragment of first-order logics is $\pi^p_2$-complete
In: The Journal of Symbolic Logic [64], 984-990
Journal Article9F7E9FF65E93C134C12568AF003226BE-Voronkov99
1999Waldmann, UweGanzinger, Harald
[McAllester, David]
[Voronkov, Andrei]
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147
Proceedings Article23C6035327C8D0DAC12567EC005AE4FE-Waldmann1999LPAR
1999Wang, YonggeRandomness, Stochasticity, and Approximation
In: Theory of Computing Systems [32], 517-529
Journal Article5F5949DD82F96507C125687E0054DFDC-WangTCS96
1999Weidenbach, ChristophSPASS V0.95TPTP
In: Journal of Automated Reasoning [23], 21-21
Journal ArticleA11BFA2CA97ADE7EC125686F004BD6B0-Weidenbach1999jar
1999Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor
Ganzinger, HaraldSystem Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318
Proceedings ArticleEECD203F8CF58E0CC12569D800729E7C-Weidenbach99cadespass
1999Weidenbach, ChristophGanzinger, HaraldTowards an Automatic Analysis of Security Protocols in First-Order Logic
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 378-382
Proceedings Article4AC3DC93A89CD562C1256753004C809E-Weidenbach99cade
1999Stop sign IconWeydert, Emil[de Leon, David]
[Wallin, Annika]
[Hulth, Nils]
Stop sign IconJZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Spinning Ideas - Electronic Essays Dedicated to Peter Gaerdenfors on His Fiftieth Birthday, 1-11
Part of a Book1A1E0A7CA6B012A1C12568A10066EA42-Weydert1999
1999Weydert, Emil[Rott, Hans]
[Albert, Chris]
[Brewka, Gerd]
[Witteveen, Cees]
JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66
Proceedings Article355C1C9434185588C12567510035B4F7-Weydert1999a
1999Weydert, Emil
[van der Torre, Leendert W. N.]
John BellRisk parameters for utilitarian desires
In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-99), Workshop on Practial Reasoning and Rationality, 48-54
Proceedings Article8CE700F8A27F6DCAC1256AB0005D8C60-Weydert1999b
1998[Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas
Nielsen, Mogens
Thomas, Wolfgang
LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34
Proceedings ArticleC031722D45D00184412566FD005946CA-LisaCSL
1998[Bachmair, Leo]
Ganzinger, Harald
Ordered Chaining Calculi for First-Order Theories of Transitive Relations
In: Journal of the ACM [45], 1007-1049
Journal Article097029184AA57816C125674300511FAA-BachmairGanzinger-98-jacm
1998Bachmair, Leo
Ganzinger, Harald
Bibel, Wolfgang
Schmitt, Peter H.
Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397
Part of a BookF5658B17041967BCC1256744004F1732-BachmairGanzinger-98-sppd
1998Bachmair, Leo
Ganzinger, Harald
Kirchner, Claude
Kirchner, Hélène
Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174
Proceedings ArticleFE42BE66528AE631C1256744004D8E7D-BachmairGanzinger-98-cade
1998Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei
Kirchner, Claude
Kirchner, Hélène
Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190
Proceedings Article017F31F75109D91DC1256744004C11FA-BachmairGanzingerVoronkov-98-cade
1998[Barth, Peter]
Bockmayr, Alexander
Modelling Discrete Optimisation Problems in Constraint Logic Programming
In: Annals of Operations Research [81], 467-496
Journal Article7AA69B97DA24E72FC125668E0035D14C-BarthBockmayr98
1998Basin, David A.
[Klarlund, Nils]
Automata Based Symbolic Reasoning in Hardware Verification
In: Formal Methods in Systems Design [13], 255-288
Journal ArticleA10B168F37AEC6C6C12568B200462788-BasinKlarlund98
1998[Basin, David A.]
Matthews, Seán
[Viganò, Luca]
Labelled Modal Logics: quantifiers
In: Journal of Logic, Language and Information [7], 237-263
Journal Article932DA0A717E9B634C1256484004E7A23-Basin97b
1998Basin, David A.
Matthews, Seán
Viganò, Luca
Natural Deduction for Non-Classical Logics
In: Studia Logica [60], 119-160
Journal Article772D3E15691E5E86C1256484004EE883-Basin97c
1998[Basin, David A.]
Matthews, Seán
[Viganò, Luca]
Ginzburg, Jonathan
Khasidashvili, Zurab
Vogel, Carl
Levy, Jean-Jacques
Vallduvi, Enric
A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307
Proceedings Article81FF619F6FB2862AC12562E5006DABDA-Basin98a
1998[Blackburn, Patrick]
Tzakova, Miroslava
Hybrid Completeness
In: Logic Journal of the IGPL [6], 625-650
Journal Article4F6EEE47530AC9DBC125658E004B4410-Tzakova98b
1998[Blackburn, Patrick]
Tzakova, Miroslava
Stop sign IconHybrid Languages and Temporal Logic (Full Version)Report3F673AD6A543C8F4C1256776004C9AF3-Tzakova98d
1998[Blackburn, Patrick]
Tzakova, Miroslava
Hybridizing Concept Languages
In: Annals of Mathematics and Artificial Intelligence [24], 23-49
Journal Article2F8CE70385811151C125669500471E5D-Tzakova98c
1998Stop sign Icon[Blackburn, Patrick]
Tzakova, Miroslava
[Boros, Endre]
[Greiner, Russel]
Stop sign IconA Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ?
Proceedings Article94827EB0926E9F73C125658E00467BD6-Tzakova98a
1998Bockmayr, Alexander
Dimopoulos, Yannis
[Frank, Jeremy]
[Sabin, Mihaela]
Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6
Proceedings Article4711AB898C61704FC125668E00343692-BockmayrDimopoulos98
1998Bockmayr, Alexander
Kasper, Thomas
Branch-and-Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
In: INFORMS Journal on Computing [10], 287-300
Journal Article6CB859F4393A1F92C125668E00354830-BockmayrKasper98
1998Charatonik, WitoldAn Undecidable Fragment of the Theory of Set Constraints
In: Information Processing Letters [68], 147-151
Journal ArticleFD6026676FDD56B0412566F800633870-Charatonik-IPL98
1998Charatonik, WitoldSet Constraints in Some Equational Theories
In: Information and Computation [142], 40-75
Journal Article99758FD0814B2CBCC12567440053BF49-Charatonik98
1998Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor]
[Pratt, Vaughan]The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69
Proceedings Article4415BAA24C1D2DE2412566F80062D8AD-CharatonikMNPW-LICS98
1998Charatonik, Witold
Podelski, Andreas
[Levi, Giorgio]Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294
Proceedings Article4B0F7841BFDCA3F6412566F8005F41AB-CharatonikPodelski-SAS98
1998Charatonik, Witold
Podelski, Andreas
[Nipkow, Tobias]Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225
Proceedings ArticleB8F936260BDB3475412566F800614A80-CharatonikPodelski-RTA98
1998Charatonik, Witold
Podelski, Andreas
[Steffen, Bernhardt]Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375
Proceedings Article2AFD66B330DFC224412566F800615396-CharatonikPodelski-tacas98
1998[Degtyarev, Anatoli]
[Gurevich, Yuri]
[Narendran, Paliath]
Veanes, Margus
[Voronkov, Andrei]
[Nipkow, Tobias]The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195
Proceedings Article76F0549A315AA3A2C12565DF00480771-DGNVV98a
1998Delzanno, GiorgioGalmiche, DidierSpecification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ??
Proceedings ArticleFEF1B2C461C6E338C125675A0036D0F2-Delzanno1998
1998[Firozabadhi, Babak Sadighi]
van der Torre, Leendert W. N.
Prade, HenriTowards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318
Proceedings Article9C4CB2637A146213C125675100487559-firozabadhi:ecai98
1998[Frank, Ian]
Basin, David A.
Search in Games with Incomplete Information: A Case Study Using Bridge Card Play
In: Artificial Intelligence [100], 87-123
Journal Article286300675A47A3BBC12568B0004BF993-FrankBasin-98
1998Stop sign IconGanzinger, HaraldStop sign IconPreface
In: Theoretical Computer Science [208], 1
Journal Article34FB1FA1C088C16BC125673F0057CBDD-Ganzinger98
1998Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus
[Hsiang, Jieh]
[Ohori, Atsushi]
Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21
Proceedings ArticleD4D24ADE65ACB620C1256744002C68AD-GanzingerJacquemardVeanes-98
1998Hustadt, Ullrich
Schmidt, Renate A.
[de Swart, Harrie]Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201
Proceedings Article3CC1D3F7D901B53CC125675A005E5B65-HustadtSchmidt98a
1998Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph
[de Swart, Harrie]Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37
Proceedings ArticleB378FBDDC77EA16CC125675A005D8DBE-HSW1998
1998[Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph
[Nipkow, Tobias]Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90
Proceedings Article412F50A02FE14BBAC12566F00031BBA9-JacquemardMeyerWeidenbach98
1998Jaeger, ManfredCohn, Anthony G.
Schubert, Lenhart
Shapiro, Stuart C.
Attachment IconReasoning About Infinite Random Structures with Relational Bayesian Networks
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 570-581
Proceedings ArticleE176532FECBD651CC12566F0005BD749-Jaeger1998a
1998Jaeger, ManfredCooper, Gregory S.
Moral, Serafín
Attachment IconMeasure Selection: Notions of Rationality and Representation Independence
In: Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence (UAI-98), 274-281
Proceedings Article561F26CD4AE59824C12566F0005CDA28-Jaeger1998c
1998Jaeger, ManfredPratt, VaughanAttachment IconConvergence Results for Relational Bayesian Networks
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 44-55
Proceedings Article5EE56FAE8733BA9DC12566F0005C6F31-Jaeger1998b
1998Krishna Rao, M. R. K.Modular Aspects of term graph rewriting
In: Theoretical Computer Science [208], 59-86
Journal ArticleEF97FF38D77061FBC125673F005656D9-KrishnaRao98a
1998[Letz, Reinhold]
Weidenbach, Christoph
Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19
Journal Article002946584C30FFA7412566FD005D8597-LetzWeidenbach98
1998Matthews, Seán
Basin, David A.
Scoped Metatheorems
In: Electronic Notes in Computer Science [15], 1-14
Journal Article6CB3C55B71D0CDAD412566FA003E8356-BasinMatthews98b
1998Nonnengart, AndreasModal Frame Characterization by Way of Auxiliary Modalities
In: Logic Journal of the IGPL [6], 875-899
Journal ArticleAAA45E30203F9DCDC1256743004C9FEC-Nonnengart1998
1998Nonnengart, Andreas
[Rock, Georg]
Weidenbach, Christoph
[Kirchner, Claude]
[Kirchner, Hélène]
On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 397-411
Proceedings ArticleF90CA2B7700E75AD412566FD00528EB0-NonnengartRockWeidenbach98
1998Schmidt, Renate A.[Kracht, M.]
[de Rijke, M.]
[Wansing, H.]
[Zakharyaschev, M.]
Resolution is a Decision Procedure for Many Propositional Modal Logics
In: Advances in Modal Logic, Volume 1, 189-208
Part of a Book9DD4087B0E8774C4C12565E6006AE588-Schmidt98f
1998Schmidt, Renate A.[Nipkow, Tobias]E-Unification for Subsystems of S4
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 106-120
Proceedings Article751B214D35DF723EC125655C005FFAA4-Schmidt98c
1998Stop sign IconSofronie-Stokkermans, VioricaStop sign IconAttachment IconResolution-based Theorem Proving for SHn-LogicsReport84F8AE94DA6EB331412566F6003C31C6-Sofronie1998b
1998Stop sign IconSofronie-Stokkermans, Viorica[Eklund, Patrick]
[Escalada-Imaz, Gonzalo]
[Haehnle, Reiner]
[Vojtas, Peter]
Stop sign IconRepresentation Theorems and Automated Theorem Proving in Certain Classes of Non-Classical Logics
In: Proceedings of the Workshop on Many-Valued Logic for AI Applications (ECAI-98), ?-?
Proceedings ArticleE685DCC301CB0540412566F6003CFE77-Sofronie1998c
1998Sofronie-Stokkermans, Viorica[Prade, Henri]On Translation of Finitely-Valued Logics to Classical First-Order Logic
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 410-411
Proceedings ArticleB046898D722B5029412566F6003BC200-Sofronie1998a
1998Stuber, JürgenSuperposition theorem proving for abelian groups represented as integer modules
In: Theoretical Computer Science [208], 149-177
Journal Article51A13AF76D638987C125669100589142-Stuber1998TCS
1998Stuber, Jürgen[Bibel, Wolfgang]
[Schmitt, Peter H.]
Superposition theorem proving for commutative rings
In: Automated Deduction - A Basis for Applications. Volume III. Applications, 31-55
Part of a BookC21980FEBAA6B36BC125669100615AA5-Stuber1998AutDed
1998van der Torre, Leendert W. N.Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
Phased labeled logics of conditional goals
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 92-106
Proceedings Article68D1BD813E68DB28C12567510049803A-torre:jelia98
1998van der Torre, Leendert W. N.Prade, HenriLabeled logics of conditional goals
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 368-369
Proceedings Article8179ADD33B255CE6C125675100481BCD-torre:ecai98a
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
The temporal analysis of Chisholm's paradox
In: Proceedings of the 15th National Conference, and 10th Conference on Innovative Applications of Artificial Intelligence (AAAI-98) and (IAAI-98), 650-655
Proceedings Article32256B4B4348B93CC12567510048F56C-torre:aaai98
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Dix, Jürgen
Fariñas del Cerro, Luís
Furbach, Ulrich
Prohairetic Deontic Logic (PDL)
In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), 77-91
Proceedings ArticleCF33F6C730DB08CFC1256751005A23D2-torre:jelia98a
1998van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Prade, HenriAn update semantics for prima facie obligations
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 38-42
Proceedings Article5D5EE73DCFCCF423C12567510049848F-torre:ecai98
1998Veanes, MargusPratt, VaughanThe Relation Between Second-Order Unification and Simultaneous Rigid E-Unification
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 264-275
Proceedings Article4DE191C8D886BD5FC12566730032D9ED-Veanes98
1998Vorobyov, SergeiBrim, Lubos
Gruska, Jozef
Zlatuska, Jirí
Attachment Icon$\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606
Proceedings Article55E49321AE36A06D412566FA003E613F-Vorobyov1998MFCS
1998Vorobyov, Sergei
Voronkov, Andrei
Attachment IconComplexity of Nonrecursive Logic Programs with Complex Values
In: Proceedings of the 17th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-98), 244-253
Proceedings Article64E8BC346A5A1603412566FA003D63DA-VorobyovVoronkov1998PODS
1998Waldmann, UweExtending reduction orderings to ACU-compatible reduction orderings
In: Information Processing Letters [67], 43-49
Journal Article042ED76560411A5CC125666500539EF2-Waldmann1998IPL
1998Waldmann, Uwe[Kirchner, Claude]
[Kirchner, Hélène]
Superposition for Divisible Torsion-Free Abelian Groups
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 144-159
Proceedings Article09757C0868827458C125664E0075D568-Waldmann1998
1998Weidenbach, Christoph[Bibel, Wolfgang]
[Schmitt, Peter H.]
Sorted Unification and Tree Automata
In: Automated Deduction - A Basis for Applications, 291-320
Part of a Book15A4579FDC658D96412566FD005E2C0E-Weidenbach98kluwer
1998Weidenbach, Christoph[Fiedler, Herbert]
[Gorny, Peter]
[Grass, Werner]
Hölldobler, Steffen
Hotz, Günter
[Kerner, I. O.]
Reischuk, Rüdiger
Rechnen in sortierter Prädikatenlogik
In: Ausgezeichnete Informatikdissertationen 1997, 183-197
Part of a Book85EF4912EEEF0148412566FD005E7305-Weidenbach98teubner
1998Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno
SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113
Journal ArticleDE7A848748E6512F412566FD005DE38A-WeidenbachMeyerEtAl98jar
1998[Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan]
How to realize LSE narrowing
In: New Generation Computing [16], 397-434
Journal ArticleE58551BD48DDDA7BC125668E003266EE-WernerBockmayrKrischer98
1998Weydert, EmilSome Notes on Nonmonotonic Probabilistic InferenceMiscellaneous962BFD47431BC71BC12567510037CB17-Weydert1998d
1998Weydert, Emil[Cohn, Anthony G.]
[Schubert, Lenhart]
[Shapiro, Stuart C.]
System JZ : How to build a canonical ranking model of a default knowledge base
In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 190-201
Proceedings ArticleBE86005A95FE41BAC1256639004683F2-Weydert1998a
1998Stop sign IconWeydert, Emil[Delgrande, Jim]
[Truszczynski, Mirek]
Stop sign IconMinimal information entailment : A preliminary account
In: Proceedings of the 7th International Workshop on Nonmonotonic Reasoning (Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning), 64-72
Proceedings ArticleEF92B17B9504B4ABC12566390044930C-Weydert1998b
1998Weydert, Emil
van der Torre, Leendert W. N.
[Lang, Jerome]Goals, desires, utilities and preferences
In: Proceedings of the ECAI-98 Workshop : Decision theory meets artificial intelligence - qualitative and quantitative approaches, 57-64
Proceedings ArticleB274631E2DBA0554412566FD00437091-Weydert1998c
1998Wu, Jinzhao
[Liu, Zhuojun]
Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400
Journal ArticleA0B3E0166BBAC415412566F7003A5369-Wuliu1998
1998Wu, Jinzhao
[Lu, Mi]
Li, ZhibinCWA in Multi-Valued Logics
In: Proceedings of the 3rd Asian Symposium on Computer Mathematics (ASCM-98), 259-270
Proceedings Article5AF1808CB54A1CF4412566F7003E7D52-Wulu1998
1998Wu, Jinzhao
[Tan, Hongyan]
[Li, Yongli]
An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics
In: Journal of Applied Non-Classical Logics [8], 353-360
Journal Article8B1687A2774B953B412566F7003C0063-Wutanli1998
1997Barth, Peter
Bockmayr, Alexander
PLAM: ProLog and Algebraic Modelling
In: Proceedings of the 5th International Conference on the Practical Application of Prolog, 73-82
Proceedings ArticleDC83139587C3596FC12564610066D677-BarthBockmayr97a
1997Basin, David A.
Matthews, Seán
Viganò, Luca
Labelled Propositional Modal Logics: Theory and Practice
In: Journal of Logic and Computation [7], 685-717
Journal ArticleBC4DFC547ACB4481C12564640039B73B-Basin97a
1997Basin, David A.
Matthews, Seán
Viganò, Luca
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182
Proceedings ArticleF52FC7245246BAC9C125651D00465E0F-BasinMatthewsVigano97c
1997Basin, David A.
Matthews, Seán
Viganò, Luca
Gottlob, G.
Leitsch, A.
Mundici, D.
A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102
Proceedings Article177C685B217C327FC1256484004F78B1-Basin97d
1997Charatonik, Witold
Podelski, Andreas
[Winskel, Glynn]Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372
Proceedings ArticleFDA31D42BEFBE8AFC1256481004CB53D-CharatonikPodelskiLICS97
1997[Gabbay, Dov M.]
[Kruse, Rudolf]
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Qualitative and Quantitative Practical ReasoningBook34FAA6BAB7957B9FC12564A30043BFF8-GKNO97
1997Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph
[McCune, William]Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335
Proceedings ArticleC50C48A8AE0AEB5CC1256480004B6FAE-GanzingerMeyerWeidenbach-97-cade
1997Hopf, Jörn[Steele, N.]Cooperative Coevolution of Fuzzy Rules
In: Proceedings of the 2nd International ICSC Symposium on Fuzzy Logic and Applications (ISFL-97), 337-381
Proceedings Article48FB7B64281598A2C125644900659AEC-Hopf97a
1997Hustadt, Ullrich
Schmidt, Renate A.
Pollack, Martha E.On Evaluating Decision Procedures for Modal Logics
In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), 202-207
Proceedings Article0AA95381F5B94CB3C125647600521A2A-HustadtSchmidt97b
1997Jaeger, ManfredGeiger, Dan
Shenoy, Prakash Pundalik
Attachment IconRelational Bayesian Networks
In: Proceedings of the 13th Conference of Uncertainty in Artificial Intelligence (UAI-13), 266-273
Proceedings Article41A7C85CEC93AC25C12564810014BF45-Jaeger97UAI
1997Krishna Rao, M. R. K.A framework for incremental learning of logic programs
In: Theoretical Computer Science [185], 191-213
Journal ArticleC9006052B48AFED3C125674C002C8910-KrishnaRao97a
1997Matthews, SeánAbadi, Martín
Ito, Takayasu
Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514
Proceedings Article9C9C76E3B9A0DA79C1256481002FF142-Matthews97b
1997Matthews, SeánMcCune, WilliamA practical implementation of simple consequence relations using inductive definitions
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 306-320
Proceedings ArticleBFAF5864DA80E6ABC12564810030C7BD-Matthews97a
1997[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
[Bidoit, Michel]
[Dauchet, Max]
Inclusion Constraints over Non-empty Sets of Trees
In: Proceedings of the 7th International Joint Conference CAAP/FASE: Theory and practice of software development (TAPSOFT-97), 345-356
Proceedings Article957169ACEB7BD510C125648A005A8390-MNP-Ines
1997[Müller, Martin]
[Niehren, Joachim]
Podelski, Andreas
[Smolka, Gert]Ordering Constraints over Feature Trees
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562
Proceedings Article6DD6885BFE16F036C12565B70043B2D8-MuellerNiehrenPodelski97a
1997[Nivat, Maurice]
Podelski, Andreas
Minimal Ascending and Descending Tree Automata
In: SIAM Journal on Computing [26], 39-58
Journal ArticleD700D0E7A645CAAAC12565B700449D14-NivatPodelski97
1997Ohlbach, Hans Jürgen
Schmidt, Renate A.
Functional Translation and Second-Order Frame Properties of Modal Logics
In: Journal of Logic and Computation [7], 581-603
Journal ArticleCED17D90BA55EC1EC125655900558568-OhlbachSchmidt97
1997[Pacholski, Leszek]
Podelski, Andreas
[Smolka, Gert]Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562
Proceedings ArticleAAFC17E532121E7BC12565B7004758BD-PacholskiPodelski97
1997Podelski, AndreasMaluszynski, JanSet-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36
Proceedings Article5BBB4E2ABCF32244C12565B70048612F-Podelski97
1997Podelski, Andreas
[Smolka, Gert]
Situated Simplification
In: Theoretical Computer Science [173], 235-252
Journal Article11AFF70DEB677793C125648A004A8F74-CP:95TCS
1997[Rahman, Shahid]
[Rückert, Helge]
Fischmann, Matthias
Dialogues and Ontology, the Dialogical Approach to Free Logic
In: Logique et Analyse [160], 357-374
Journal ArticleF507F95BDF4BDD0AC1256A07004DBA37-fischm00a
1997Struth, Georg[Comon, Hubert]On the Word Problem for Free Lattices
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 128-141
Proceedings ArticleE609E4572E52A764C125648000672534-Struth97
1997Stuber, Jürgen[Bonacina, Maria Paola]
[Furbach, Ulrich]
Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 125-129
Proceedings Article0A644D0DD13ED6ADC125659300527CE5-StuberFTP97
1997van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232
Proceedings ArticleE4CC718603E56BD2C125655A004924F3-Torre97b
1997van der Torre, Leendert W. N.
[Tan, Yao-Hua]
Brewka, Gerhard
Habel, Christopher
Nebel, Bernhard
Reasoning about exceptions
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 405-408
Proceedings ArticleE85E4DE0E0634AA7C125655A004887B3-Torre97c
1997Vorobyov, Sergei[Comon, Hubert]The first-order theory of one step rewriting in linear noetherian systems is undecidable
In: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97), 254-268
Proceedings Article0D60796ECA1D1B79C1256457004A7EEC-Vorobyov97RTA97
1997Vorobyov, SergeiWinskel, GlynnThe `hardest´ natural decidable theory
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 294-305
Proceedings Article8AE1EBA7A40BED5BC1256457004B4935-Vorobyov97LICS97
1997Waldmann, Uwe[Bonacina, Maria Paola]
[Furbach, Ulrich]
A Superposition Calculus for Divisible Torsion-Free Abelian Groups
In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), 130-134
Proceedings Article1C8FDB5B77AD548BC125658500531698-Waldmann1997FTP
1997Wang, YonggeNP-hard sets are superterse unless NP is small
In: Information Processing Letters [61], 1-6
Journal ArticleB67B9E3ABEC305CEC125649D0044F36E-WangIPL96a
1997Wang, YonggeRolim, JoséRandomization and Approximation Techniques in Computer Science
In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), 209-225
Proceedings ArticleD312A96F846710B5C12565C50031BDAC-Wang97
1997Weidenbach, ChristophSPASS Version 0.49
In: Journal of Automated Reasoning [18], 247-252
Journal Article515DFD5321467F7FC125659A004CB253-Weidenbach97jar
1997Weydert, Emil
[Brewka, Gerd]
[Witteveen, Cees]
Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97)Proceedings193CDD7A1FB19FEFC125647F0049EE01-Weydert97a
1997Weydert, Emil[Gabbay, Dov]
[Kruse, Rudolf]
Nonnengart, Andreas
Rational Default Quantifier Logic
In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), 589-600
Proceedings Article56577F3C653B7740C125647F0060FD89-Weydert97c
1997Weydert, EmilWeydert, Emil
[Brewka, Gerd]
[Witteveen, Cees]
Qualitative Entropy Maximization - A preliminary report
In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), 63-72
Proceedings ArticleFC7BEFBC9D682015C125648E0070AB02-Weydert97b
1996Ayari, Abdelwaheb
Basin, David A.
Margaria, Tiziana
Steffen, Bernhard
Generic System Support for Deductive Program Development
In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, 313-328
Proceedings ArticleDF7E389DE7399656C125630D005F1F68-AbduBasin-TACAS96
1996Barth, Peter
Bockmayr, Alexander
Modelling 0-1 Problems in CLP($\cal PB$)
In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, 1-9
Proceedings Article6041DB2E3D1E44BFC125648F004E9D05-BarthBockmayr96a
1996Basin, David A.
Friedrich, Stefan
[von Wright, J.]
[Grundy, J.]
[Harrison, J.]
Modeling a hardware synthesis methodology in Isabelle
In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, 33-50
Proceedings Article9C402B9EDA7F0239C125646000573DE3-BasinFriedrich96
1996Basin, David A.
Ganzinger, Harald
Complexity Analysis Based on Ordered Resolution
In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), 456-465
Proceedings ArticleB830EE59D3CA5518C12562D80050A20C-BasinGanzinger96a
1996Basin, David A.
Matthews, Seán
Adding Metatheoretic facilities to First-order Theories
In: Journal of Logic and Computation [6], 835-849
Journal Article267E6B1D7EE4E9C0C1256457004CE6CF-BasinMatthews96a
1996Basin, David A.
Matthews, Seán
[McRobbie, M. A.]
[Slaney, J. K.]
Structuring metatheory on inductive definitions
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 171-185
Proceedings Article6AE087A81D011930C125646000584E57-BasinMatthews96b
1996Basin, David A.
Matthews, Seán
Viganò, Luca
Baader, Franz
Schulz, Klaus U.
A Topography of Labelled Modal Logics
In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), 75-92
Part of a BookA81C0F3D52ECA313C12563EF0054AAB3-Basin96c
1996Basin, David A.
Matthews, Seán
Viganò, Luca
Carlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart
Implementing Modal and Relevance Logics in a Logical Framework
In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 386-397
Proceedings Article11A46D4ED1A37E3FC12563EF005524DE-Basin96d
1996Basin, David A.
[Walsh, Toby]
A Calculus for and Termination of Rippling
In: Journal of Automated Reasoning [16], 147-180
Journal ArticleDBE6487AA4375BC9C12564600059A8D0-BasinWalshJAR96
1996Basin, David A.
[Walsh, Toby]
Zhang, HantaoA Calculus for and Termination of Rippling
In: Automated mathematical induction, 147-180
Part of a Book5A239E16428F67E2C12565C9002EB8AA-Basin96y
1996Bockmayr, Alexander
Barth, Peter
Kasper, Thomas
[Steinbach, B.]Methods and Tools for Pseudo-Boolean Problems
In: 2. Workshop Boolesche Probleme, 105-109
Proceedings Article73257C6123ADBFF3C12564610063910C-BockmayrBarthKasper96
1996Stop sign IconBockmayr, Alexander[Hanus, Michael]
[Lloyd, John W.]
[Moreno Navarro, Juan José]
Stop sign IconConstraints in functional logic programming (Abstract)
In: Integration of functional and logic languages, 4
Proceedings ArticleF19362201AA2071BC12564610064AAD9-Bockmayr96a
1996Bockmayr, Alexander
Kasper, Thomas
[Geske, Ulrich]
[Simonis, Helmut]
Pseudo-Boolean and Finite Domain Constraint Programming: A Case Study
In: Deklarative Constraint Programmierung, 29-41
Proceedings Article06834A02B5D8D5BDC12563EE004FCC51-BockmayrKasper96
1996[Cantu, Francisco]
[Bundy, Alan]
[Smaill, Alan]
Basin, David A.
[Srivas, M.]
[Camilleri, A.]
Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108
Proceedings Article0ED70C3F98A2285A8525646400121C63-CantuBundySmaillBasin96
1996Charatonik, Witold
Podelski, Andreas
[Freuder, Eugene]The Independence Property of a Class of Set Constraints
In: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96), 76-90
Proceedings ArticleB67B603F71108299C12562E60008EDF4-CharatonikPodelski-cp96
1996Chaudhuri, Shiva
Dimopoulos, Yannis
Zaroliagis, Christos
On the Parallel Complexity of Acyclic Logic Programs
In: Parallel Processing Letters [6], 223-230
Journal Article0890B8611EEEC8C9C12562E000497906-ChaudhuriDimopoulosZaroliagis-PPL96
1996[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
Stop sign IconEvolutionary Algorithms and their ApplicationReportE00831E051672F0EC12564A5004FF264-Hopf96a
1996Dimopoulos, YannisOn Computing Logic Programs
In: Journal of Automated Reasoning [17], 259-289
Journal Article26265DF02F3E02F1C1256464006BC1EB-Domopoulos96
1996[Frank, Ian]
Basin, David A.
Stop sign IconSearch in Games with Incomplete Information: A Case Study Using Bridge Card PlayReportF332CC1F42E58804C12562B9005415F0-rp780
1996Ganzinger, HaraldRewriting Techniques and Applications, 7th International Conference, RTA-96Proceedings5670D3389752F6EAC1256465003B9AB1-GanzingerRTA96
1996Stop sign IconGanzinger, HaraldMeyer auf der Heide, Friedhelm
Monien, Burkhard
Stop sign IconSaturation-based theorem proving (abstract)
In: Automata, Languages and Programming: International Colloquium (ICALP-23), 1-3
Proceedings Article92AD3AC10CA2B935C1256466004635DD-Ganzinger96-ICALP-23
1996Ganzinger, Harald
Waldmann, Uwe
McRobbie, Michael A.
Slaney, John K.
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 388-402
Proceedings ArticleD3B31BC55873B750C12564610057884F-GanzingerWaldmann1996CADE
1996Graf, PeterCarbonell, J. G.
[Siekmann, J.]
Term IndexingBook380C1AD26B02AA97C125647B00556FF2-Graf-96-LNAI
1996Graf, Peter[McRobbie, M. A.]
[Slaney, J. K.]
Path indexing for AC-theories
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 718-732
Proceedings ArticleE4B342F7C21493AAC12564660046A4A8-Graf96-CADE-13
1996Graf, Peter
Meyer, Christoph
McRobbie, M. A.
Slaney, J. K.
Advanced indexing operations on substitution trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 553-567
Proceedings Article0545F0B8DA8D4D7AC1256467004B165D-GrafMeyer96
1996[Hähnle, Reiner]
[Kerber, Manfred]
Weidenbach, Christoph
Stop sign IconCommon Syntax of the DFG-Schwerpunktprogramm ``Deduktion''Report1F0C1FD384547D40412566FD0040C2EB-HaehnleKerberEtAl96
1996Stop sign IconHopf, Jörn[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
Stop sign IconOptimizing Photo Mask Layout for Grey-tone LithographyReport52BDECAA33711D74C12564A5004FE582-Hopf96b
1996Hopf, Jörn[Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul]
Stop sign IconOptimizing Photo Mask Layout for Grey-tone LithographyReportFAC9BE38D048EEB2C1256451005C67F2-Hopf96b
1996Hopf, Jörn
Rau, Rainer
[Jamshidi, Mohammad]
[Fathi, Madjid]
[Pierrot, Francois]
Decision Making in an Economy Exploiting Fuzzy Rules Obtained from a Genetic Algorithm
In: Soft Computing with Industrial Applications, 331-336
Proceedings Article31CB77CAA8D3E5D0C125644900649C7D-Hopf96c
1996Jaeger, ManfredCarlucci-Aiello, Luigia
Doyle, Jon
Shapiro, Stuart
Representation Independence of Nonmonotonic Inference Relations
In: Principles of Knowledge Representation and Reasoning, Proceedings of the 5th International Conference (KR-96), 461-472
Proceedings Article59A15C8250B5B8DEC125645900091A24-Jaeger96KR
1996Jaeger, Manfred
Mannila, Heikki
Weydert, Emil
[Ng, Raymond]Data Mining as Selective Theory Extraction in Probabilistic Logic
In: Proceedings of the 1996 SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, -
Proceedings Article0EB99476A875C75FC125647F006CE809-JMW96
1996[Kraan, Ina]
Basin, David A.
[Bundy, Alan]
Middle-out reasoning for synthesis and induction
In: Journal of Automated Reasoning [16], 113-145
Journal Article7AAC13D4C39240A9C1256460006340E8-KraanBasinBundy96
1996[Kraan, Ina]
Basin, David A.
[Bundy, Alan]
Zhang, HantaoMiddle-Out Reasoning for Synthesis and Induction
In: Automated mathematical induction, 113-145
Part of a Book8F8FD7EDD0F9D886C12565C5004078C3-Basin96x
1996Krishna Rao, M. R. K.Relating confluence, innermost-confluence and outermost-confluence properties of term rewriting systems
In: Acta Informatica [33], 595-606
Journal Article9EB01320AACAE69CC1256418004C7D24-KrishnaRaoActaInformatica
1996Krishna Rao, M. R. K.Anjaneyulu, KSR
Sasikumar, M.
Ramani, S.
Learning Prolog programs from examples
In: Knowledge Based Computer Systems, 19-30
Proceedings Article17AA95F5044BAF30C1256418004B5D0B-KrishnaRao96c
1996Krishna Rao, M. R. K.Arikawa, Setsuo
Sharma, Arun
A class of Prolog programs inferable from positive data
In: Algorithmic Learning Theory, 272-284
Proceedings ArticleB58B2D9DFD9E0139C1256418004A4E3E-KrishnaRao96a
1996Krishna Rao, M. R. K.Ganzinger, HaraldModularity of termination in term graph rewriting
In: Rewriting Techniques and Applications, 230-244
Proceedings Article3D68FEF0B288D5E9C12564180047E0F2-KrishnaRao96d
1996Krishna Rao, M. R. K.Maher, MichaelCompleteness results for basic narrowing in non-copying implementations
In: Logic Programming, 393-407
Proceedings Article87479DE48550EBADC12564180048C463-KrishnaRao96b
1996Krishna Rao, M. R. K.Wirsing, Martin
Nivat, Maurice
Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420
Proceedings Article6659CFEDC98EAEACC12564180045AE54-KrishnaRao96e
1996Matthews, SeánPaulson, Lawrence C.Implementing $\textrm FS_0$ in Isabelle: Adding Structure at the Metalevel
In: Design and Implementation of Symbolic Computation Systems (DISCO'96), 228-239
Proceedings Article015DDB66C9F3725CC12562E5006D688F-Matthews96b
1996Matthews, Seán
[Simpson, Alex]
Ursini, Aldo
Agilanò, Paolo
Reflection using the derivability conditions
In: Logic and Algebra, 603-616
Part of a Book04B52CBE85617943C12561440062471A-MatthewsSimpson96a
1996Nonnengart, Andreas[McRobbie, M. A.]
[Slaney, J. K.]
Resolution-Based Calculi for Modal and Temporal Logics
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 598-612
Proceedings ArticleF3288F70662A7B7DC1256458005069F7-NonnengartCADE96
1996Ohlbach, Hans Jürgen
[Koehler, Jana]
Stop sign IconReasoning about Sets via Atomic DecompositionReport44C8C6B18FFD44DEC1256479004D1520-OhlbachKoehler96
1996Ohlbach, Hans Jürgen[McRobbie, M. A.]
[Slaney, J. K.]
SCAN-Elimination of Predicate Quantifiers
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 161-165
Proceedings Article7B4E8BD5F8C5238BC12564660049B0E5-Ohlbach96-CADE-13
1996Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich
[Wansing, H.]Translating Graded Modalities into Predicate Logic
In: Proof Theory of Modal Logic, 253-291
Part of a BookA87AAF0E66645F5EC12562C8005A23E6-OhlbachSchmidtHustadt96
1996Stuber, JürgenGanzinger, HaraldSuperposition Theorem Proving for Abelian Groups Represented as Integer Modules
In: Rewriting Techniques and Applications, 7th International Conference, RTA-96, 33-47
Proceedings ArticleF2E9A6E2058B3DC3C1256458004F99D3-StuberRTA96
1996Vorobyov, Sergei[Jaffar, Joxan]
[Yap, Roland H. C.]
On the bounded theories of finite trees
In: Second Asian Computing Science Conference, ASIAN'96, 152-161
Proceedings ArticleF79A9507CD9D39E4C12564570040AE2A-Vorobyov96ASIAN96
1996Vorobyov, Sergei[McRobbie, M. A.]
[Slaney, J. K.]
An improved lower bound for the elementary theories of trees
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 275-287
Proceedings Article08887CC6B2CDDAE0C1256457003F815F-Vorobyov96CADE96
1996Weidenbach, ChristophUnification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293
Journal Article1CA0D4A1FBDF8337C12564580035C6FB-Weidenbach96f
1996Weidenbach, Christoph
[Gaede, Bernd]
[Rock, Georg]
[McRobbie, M. A.]
[Slaney, J. K.]
SPASS & FLOTTER, Version 0.42
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 141-145
Proceedings Article79822D08B7155D86C1256458003785B4-Weidenbach96b
1996Weidenbach, Christoph[Hermann, Miki]
[Salzer, Gernot]
Sorted Unification and Its Application to Automated Theorem Proving
In: Proceedings of the CADE-13 Workshop: Term Schematizations and Their Applications, 67-76
Proceedings ArticleCEA4CB7A168F4334C1256458004B6C7F-Weidenbach96d
1996Weidenbach, Christoph[McRobbie, M. A.]
[Slaney, J. K.]
Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357
Proceedings Article7D01CC1D5024D1D0C12564580036EDBD-Weidenbach96a
1996Weidenbach, Christoph[Schulz, Klaus U.]
[Kepser, Stephan]
Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25
Proceedings ArticleC88F65970ABAC4C6C125645800385F78-Weidenbach96c
1996Weydert, Emil[Fuhrmann, André]
[Rott, Hans]
Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief
In: Logic, Action, and Information, 152-171
Part of a BookE64FDD9771B2EE21C1256459006D43E0-Weydert96c
1996Weydert, Emil[Gabbay, Dov]
[Ohlbach, Hans Jürgen]
System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, 637-649
Proceedings ArticleABE2858458F98CF3C125645900699CB3-Weydert96a
1996Weydert, Emil[Niemelä, Ilkka]Default Quantifier Logic
In: Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, -
Proceedings ArticleFB30CE10FF1A5E16C1256459006C4EDE-Weydert96b
1995Stop sign IconAnderson, Penny
Basin, David A.
Stop sign IconDeriving and Applying Logic Program Transformers
In: Algorithms, Concurrency and Knowledge (1995 Asian Computing Science Conference), 301-318
Proceedings ArticleBB0F0F49035B0650C12562C70053C80A-Anderson&Basin
1995Ayari, Abdelwaheb
Basin, David A.
Paulson, Lawrence C.Interpretation of the Deductive Tableau in HOL
In: Proceedings of the First Isabelle Users Workshop, 91-100
Proceedings Article6E1E0CCC2B5878D9C12562E5006CBCA3-BasinAbdu95
1995Baader, Franz
Ohlbach, Hans Jürgen
A Multi-Dimensional Terminological Knowledge Representation Language
In: Journal of Applied Non-Classical Logics [5], 153-198
Journal Article0D6C87250C8B3E55C12562D200522123-BaaderOhlbach95
1995Stop sign IconBachmair, Leo
Ganzinger, Harald
Dershowitz, N.
Lindenstrauss, N.
Stop sign IconAssociative-Commutative Superposition
In: Proceedings of the 4th International Workshop on Conditional and Typed Rewrite Systems (CTRS-94), 1-14
Proceedings ArticleA8720A3DF504B505C12562C3003D24A0-BachmairGanzinger-95-ctrs
1995Bachmair, Leo
Ganzinger, Harald
[Lynch, Christopher]
[Snyder, Wayne]
Basic Paramodulation
In: Information and Computation [121], 172-192
Journal Article3A4F3AB4ACA51EADC125658200764009-Bachmair-et-al-95-ic
1995Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen
Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej
Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29
Proceedings ArticleAA56DA80C58704F6C125614C004A6F13-BachmairGanzingerStuber-95-compass
1995Barth, PeterLogic-based 0-1 constraint programmingBook7F70935ABA4B90D6C125648F007DB153-Barth-95b
1995Stop sign IconBarth, Peter
Bockmayr, Alexander
Stop sign IconPseudo-Boolean Constraint Logic Programming
In: Computational Logic. The Newsletter of the European Network in Computational Logic [2], 52-53
Journal Article32C361876A5E23A6C12564610065BB4A-BarthBockmayr95e
1995Barth, Peter
Bockmayr, Alexander
Sterling, LeonFinite domain and cutting plane techniques in CLP($\cal PB$)
In: Proceedings of the Twelfth International Conference on Logic Programming, 133-147
Proceedings Article35CC0CD6B3EE31A7C125648F007D78E3-BarthBockmayr-ICLP95
1995Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph
Dreschler-Fischer, Leonie
Pribbenow, Simone
Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72
Proceedings Article83E7704667E9B685C12562DF0050BD56-Weidenbach95e
1995Stop sign IconBasin, David A.
[Klarlund, Nils]
Stop sign IconHardware Verification using Monadic Second-Order Logic
In: Proceedings of the 7th International Conference on Computer-Aided Verification (CAV '95), 31-41
Proceedings ArticleD2C539A2362A3CD3C12562BA0035339B-BasinKlarlund95
1995Baumeister, HubertMosses, Peter D.
Nielsen, Mogens
Schwartzbach, Michael I.
Relations as Abstract Datatypes: An Institution to Specify Relations between Algebras
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development (TAPSOFT '95), 756-771
Proceedings Article4357FF8D279CD440C12562D900664EC6-Baumeister95
1995Bockmayr, Alexander
[Krischer, Stefan]
[Werner, Andreas]
Narrowing strategies for arbitrary canonical systems
In: Fundamenta Informaticae [24], 125-155
Journal ArticleB724B40F27995AF9C125614400620E4B-BockmayrKrischerWerner94
1995Bockmayr, AlexanderPodelski, AndreasSolving pseudo-Boolean constraints
In: Constraint Programming: Basics and Trends, 22-38
Proceedings Article6916EDA86876454EC12562E0004E4C01-Bockmayr95a
1995Bockmayr, Alexander
[Werner, Andreas]
Dershowitz, Nachum
Lindenstrauss, Naomi
LSE narrowing for decreasing conditional term rewrite systems
In: Conditional Term Rewriting Systems CTRS'94, 51-70
Proceedings Article87DCD18A82AA8A77C125614400620F62-BockmayrWerner94
1995Stop sign IconBundy, Alan
[Lombart, V.]
Mellish, C.Stop sign IconRelational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181
Proceedings ArticleE78AF7F51A7F69F1C12562B9005546FC-rel-ripp-ijcai
1995Graf, PeterBundy, AlanSubstitution Tree Indexing
In: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA-95), 117-131
Proceedings Article234BC74BDCEAC307C125614400621D23-Graf-95-rta
1995Hanus, MichaelAnalysis of Residuating Logic Programs
In: Journal of Logic Programming [24], 219-245
Journal ArticleF117575B0027A42FC12562BA002DF997-Hanus95JLP
1995Hanus, MichaelCompile-Time Analysis of Nonlinear Constraints in CLP(R)
In: New Generation Computing [13], 155-186
Journal Article55BF769DE8DA6564C12561A3003051B4-hanus95a
1995Stop sign IconHanus, MichaelStop sign IconOn Extra Variables in (Equational) Logic Programming
In: Proceedings of the Twelfth International Conference on Logic Programming, 665-679
Proceedings ArticleD3EEBF53C859B81DC12562BA002E5BCB-Hanus95ICLP
1995Hustadt, Ullrich[Laux, Arnim]
[Wansing, Heinrich]
Introducing Epistemic Operators into a Description Logic
In: Knowledge and Belief in Philosophie and Artificial Intelligence, 65-85
Part of a Book18EE9386E1EEF03DC1256144006242B9-Hustadt95b
1995Jaeger, ManfredMellish, Chris S.Minimum Cross-Entropy Reasoning: A Statistical Justification
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 1847-1852
Proceedings Article3D489449B2A29C60C12562D70061A2A8-Jaeger95
1995Krishna Rao, M. R. K.Modular Proofs for Completeness of hierarchical term rewriting systems
In: Theoretical Computer Science [151], 487-512
Journal Article2E95B8080DC56906C12562E0003A03F5-KrishnaRaoTCS
1995Stop sign IconKrishna Rao, M. R. K.Jantke, Klaus
Shinohara, Takeshi
Zeugmann, Thomas
Stop sign IconIncremental Learning of Logic Programs
In: Proceedings of International Workshop on Algorithmic Learning Theory, 95-109
Proceedings Article6B6C3A7E9DE387B6C12562E0003963F1-KrishnaRaoALT
1995Stop sign IconKrishna Rao, M. R. K.[Mosses, Peter]
[Nielsen, Mogens]
[Schwartzbach, Michael]
Stop sign IconSemi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems
In: Proceedings of the 6th Joint Conference on Theory and Practice of Software Development, 379-393
Proceedings Article4BA7F752EF2C9FE1C12562E00037F774-KrishnaRaoTAPSOFT
1995Stop sign IconKrishna Rao, M. R. K.
Shyamasundar, R. K.
Mycroft, AlanStop sign IconUnification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260
Proceedings ArticleF1224C08E90B4DD7C12562E00038CDFF-KrishnaRaoSAS
1995Krishna Rao, M. R. K.[Wiedermann, Jirí]
[Hájek, Petr]
Graph reducibility of term rewriting systems
In: Proceedings of Mathematical Foundations of Computer Science, 371-381
Proceedings Article50B2C8073ABBAEB5C12562E000355702-KrishnaRao95
1995Madden, PeterProgram improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11),
Proceedings Article2F31B27A7E75880BC125628F0053323A-Madden-95a
1995Madden, Peter
[Green, Ian]
Calmet, Jacques
Campbell, John A.
A General Technique for Automatic Optimization by Proof Planning
In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96
Proceedings Article691B88F59B0C617EC125614400622B5B-MaddenGreen94b-aismc2
1995Ohlbach, Hans JürgenBoolean Algebras with Functions - Correspondence, Completeness and Quantifier EliminationUnpublished/Draft5D009C38CF9EDC24C125615B005D0C78-Ohlbach95b
1995Stop sign IconOhlbach, Hans JürgenStop sign IconClause Killer TransformationsUnpublished/Draft442EE8FA7498FC09C125615B005D0C7A-Ohlbach95a
1995Ohlbach, Hans Jürgen
Schmidt, Renate A.
Hustadt, Ullrich
[Borgida, A.]
[Lenzerini, M.]
[Nardi, D.]
[Nebel, B.]
Symbolic Arithmetical Reasoning with Qualified Number Restrictions
In: Proceedings of International Workshop on Description Logics'95, 89-95
Proceedings Article2CED540786F84425C12561EB00627B8C-OhlbachSchmidtHustadt95b
1995Ohlbach, Hans Jürgen
Weidenbach, Christoph
A Note on Assumptions about Skolem Functions
In: Journal of Automated Reasoning [15], 267-275
Journal ArticleACEBB86486F4D5B2C125615B005D0C7B-OhlbachWeidenbach95
1995Podelski, AndreasConstraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328
Proceedings0031FB7C77662403C125614400620D0B-Podelski95a
1995Podelski, Andreas
Smolka, Gert
Montanari, Ugo
Rossi, Francesca
Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344
Proceedings Article5A70DA07D01F77A4C12562E6000895D3-PodelskiSmolka:CP:95
1995Stop sign IconPodelski, Andreas
Smolka, Gert
Sterling, LeonStop sign IconOperational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463
Proceedings ArticleCA4FE4C8D650AF8EC12562E50079D1C0-PodelskiSmolka95
1995Vorobyov, SergeiFsub with recursive types: `Types-As-Propositions´ Interpretations in M. Rabin's S2S
In: Proceedings of JFLA'95: Journées Francophones des Langages Applicatifs (JFLA'95), 49-73
Proceedings ArticleD7347E97BF1DBC85C125615F0036C2F9-Vorobyov94b
1995Vorobyov, SergeiStructural decidable extensions of bounded quantification
In: Proceedings of the 22nd ACM Symposium on Principles of Programming Languages (POPL'95), 164-175
Proceedings Article13024CD88AA109D4C1256144006240D9-Vorobyov94h
1995Weidenbach, ChristophFirst-Order Tableaux with Sorts
In: Journal of the Interest Group in Pure and Applied Logics [3], 887-906
Journal Article4D3A2F219F39A3C1C12562DF004FCBBA-Weidenbach95d
1995Weydert, Emil[Besnard, Philippe]
[Hanks, Steve]
Defaults and Infinitesimals. Defeasible inference by nonarchimedean entropy maximization
In: Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence (UAI 95), 540-547
Proceedings Article35F715827B948927C12562E0003E5987-Weydert95c
1995Weydert, Emil[Froideveaux, Christine]
[Kohlas, Jürg]
Numeric Defaults. About an expressive first-order framework for reasoning with infinitesimal probabilities
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU 95), 420-427
Proceedings Article7A64EE88345F060FC12562E0003DDD72-Weydert95
1995Weydert, Emil[Wachsmuth, Ipke]
[Rollinger, Claus-Rainer]
[Brauer, Wilfried]
Default Entailment. A preferential construction semantics for defeasible inference
In: Advances in Artificial Intelligence: Proceedings of the 19th German Annual Conference on Artificial Intelligence, 173-184
Proceedings Article98CC7EE569F55613C12562E0003E23B1-Weydert95b
1994[Antoy, Sergio]
[Echahed, Rachid]
Hanus, Michael
A Needed Narrowing Strategy
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), 268-279
Proceedings Article62AE0D6224F5F524C12561440062210B-AntoyEchahedHanus94a
1994Stop sign IconBachmair, Leo
Ganzinger, Harald
Stop sign IconRewrite-based equational theorem proving with selection and simplification
In: Journal of Logic and Computation [4], 217-247
Journal Article668A6EF145D7AC6AC125614C004A72EA-BachmairGanzinger-94-jlc
1994Bachmair, Leo
Ganzinger, Harald
Rewrite Techniques for Transitive Relations
In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, 384-393
Proceedings ArticleFC7CBADEDD415938C125614C004A73B2-BachmairGanzinger-94-lics
1994Bachmair, Leo
Ganzinger, Harald
Bundy, AlanOrdered Chaining for Total Orderings
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 435-450
Proceedings ArticleC706EB9EE24088C2C125614C004A6FF3-BachmairGanzinger-94-cade
1994Bachmair, Leo
Ganzinger, Harald
Jouannaud, Jean-PierreBuchberger's algorithm: a constraint-based completion procedure
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 285-301
Proceedings ArticleBA23B4970CE48A12C125614C004A6FA2-BachmairGanzinger-94-ccl
1994Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Refutational Theorem Proving for Hierarchic First-Order Theories
In: Applicable Algebra in Engineering, Communication and Computing (AAECC) [5], 193-212
Journal ArticleDBD34269BBD3C1BFC125614C004A7057-BachmairGanzingerWaldmann-94-aaecc
1994Stop sign IconBarth, Peter
Bockmayr, Alexander
Stop sign IconGlobal Consistency in CLP($\cal PB$)
In: Proceedings of the 10th Workshop Logic Programming WLP'94, 4
Proceedings Article5FE883F782D38F33C1256144006204D6-BarthBockmayr94
1994Barth, PeterJouannaud, Jean-PierreSimplifying Clausal Satisfiability Problems
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 19-33
Proceedings Article9280222F3DC46A0AC1256144006247F6-Barth94a
1994Basin, David A.A Term Equality Problem Equivalent to Graph Isomorphism
In: Information Processing Letters [51], 61-66
Journal ArticleC0E7492EA342AC5BC125614400624895-Basin94c
1994Stop sign IconBasin, David A.Stop sign IconGeneralized Rewriting in Type Theory
In: Journal of Information Processing and Cybernetics [30], 249-259
Journal Article5988A1AC077E6EA4C12562BA0038680A-BasinTTRewrite
1994Basin, David A.Fribourg, Laurent
Turini, Franco
Logic Frameworks for Logic Programs
In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), 1-16
Proceedings Article04309F3F668B4D0CC125615E00432C1C-BasinLOPSTR94
1994Basin, David A.
[Giunchiglia, Fausto]
[Kaufmann, Matt]
Stop sign IconProceedings of the Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning SystemsReport97D3ECBC1900AB0EC12561440062495E-BasinMeta
1994Stop sign IconBasin, David A.Van Hentenryck, PascalStop sign IconIsaWhelk: Whelk Interpreted in Isabelle
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 741-741
Proceedings ArticleBD699D9AFCCBD363C125614400624999-Basin93d
1994Basin, David A.
[Walsh, Toby]
Bundy, AlanTermination Orderings for Rippling
In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), 466-483
Proceedings ArticleEC94529E168593B3C1256144006249E9-Basin94a
1994Bockmayr, AlexanderCutting planes in constraint logic programming (Abstract)
In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics,
Proceedings Article3C404BD06B345889C125614400624BF1-Bockmayr94c
1994Bockmayr, AlexanderBachem, A.
et al.
Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract)
In: Operations Research '93, 18th Symposium on Operations Research, 47-49
Proceedings Article96D9FA46BFC9A9AFC125614400620BCE-Bockmayr93d
1994[Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A.
Peirce Algebras
In: Formal Aspects of Computing [6], 339-358
Journal Article4DE8627844A8058EC125614400624166-BrinkBritzSchmidt94
1994Stop sign Icon[Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A.
Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Guiseppe
Stop sign IconPeirce Algebras: Extended Abstract
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), 163-166
Proceedings ArticleAAEF306DCC22F4FDC1256166004FEEB9-BrinkBritzSchmidt94b
1994[Brink, Chris]
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Towards Automating Duality
In: Journal of Computers and Mathematics with Applications [29], 73-90
Journal Article93242C0376F7F58AC125615B005D0C6F-BrinkGabbayOhlbach94
1994[Chadha, Ritu]
Plaisted, David A.
Correctness of unification without occur check in Prolog
In: Journal of Logic Programming [18], 99-122
Journal Article3738FC75AF6E3E90C125614400624651-chpl:94b
1994[Chu, Heng]
Plaisted, David A.
Bundy, AlanSemantically Guided First-Order Theorem Proving using Hyper-Linking
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 192-206
Proceedings Article37D96251C514955DC1256144006245EE-chpl:94a
1994Dimopoulos, YannisMacNish, Craig
Pearce, David
Pereira, Luís Moniz
The Computational Value of Joint Consistency
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 50-65
Proceedings ArticleDC8D7609F1326554C12561440062152A-dim94c
1994Dimopoulos, Yannis
[Magirou, Vangelis]
A Graph Theoretic Approach to Default Logic
In: Information and Computation [112], 239-256
Journal Article8601E3E46F97A659C1256144006215DF-dim92
1994Dimopoulos, YannisRas, Z.
Zemankova, M.
Classical Methods in Nonmonotonic Reasoning
In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), 500-510
Proceedings ArticleE15DAE11BD34E76BC1256144006214C6-dim94a
1994Fehrer, DetlefCunningham, Jim
Pitt, Jeremy
A Unifying Logical Framework for Reason Maintenance (Deliverable DI.1.2-3P)
In: Medlar II Report PPR2, 47-55
Proceedings Article496A37B8981DF09DC125616300321028-Fehrer94a
1994Fehrer, Detlef
Hustadt, Ullrich
Jaeger, Manfred
Nonnengart, Andreas
Ohlbach, Hans Jürgen
Schmidt, Renate A.
Weidenbach, Christoph
Weydert, Emil
[Baader, Franz]
[Lenzerini, Maurizio]
[Nutt, Werner]
[Patel-Schneider, Peter F.]
Description Logics for Natural Language Processing
In: International Workshop on Description Logics '94, 80-84
Proceedings ArticleFB92DE56BAE89C05C125615B005D0C77-Fehreretal94a
1994Gabbay, Dov M.
Ohlbach, Hans Jürgen
Temporal Logic: Proceedings of the 1st International Conference on Temporal LogicProceedings6D740D0CB96D5E46C125615B005D2394-ICTL94
1994Stop sign IconGanzinger, HaraldStop sign IconThe Saturate SystemUnpublished/Draft4ECD478EF6482ECAC125614C004A6F66-Ganzinger-94-sat
1994Stop sign IconGraf, PeterBundy, AlanStop sign IconExtended Path-Indexing
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 514-528
Proceedings ArticleF68C8D159197D3B9C125614400621C5C-Graf-94-cade
1994Hanus, MichaelThe Integration of Functions into Logic Programming: From Theory to Practice
In: Journal of Logic Programming [19 & 20], 583-628
Journal Article0E6AB09431FD0AF8C125614400622237-Hanus94JLP
1994Hanus, MichaelHermenegildo, Manuel
Penjam, Jaan
Combining Lazy Narrowing and Simplification
In: Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP'94), 370-384
Proceedings Article6BA7092098F04C00C12561440062229B-Hanus94PLILP
1994Hanus, MichaelSannella, DonLazy Unification with Simplification
In: Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), 272-286
Proceedings ArticleD35E385D2708C3A3C1256144006221D3-Hanus94ESOP
1994Hanus, Michael
Zartmann, Frank
Le Charlier, BaudouinMode Analysis of Functional Logic Programs
In: Proceedings of the 1st International Static Analysis Symposium (SAS'94), 26-42
Proceedings Article72B5595562EC388DC1256144006223CA-HanusZartmann94SAS
1994Hopf, JörnGenetic Algorithms within the Framework of Evolutionary ComputationMiscellaneousBBCF98B59050F5A7C12564490069C2E8-Hopf94b
1994Hopf, Jörn
[Klawonn, Frank]
[Kruse, R.]
[Palm, R.]
[Gebhardt, J.]
Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm
In: Fuzzy Systems in Computer Science, 63-74
Part of a Book1AEC1C9C0DF054E8C125614400624AEE-hop94
1994Hustadt, UllrichA Multi-Modal Logic for Stereotyping
In: Proceedings of the 4th International Conference on User Modeling UM94, 87-92
Proceedings Article900DA47A3D4A4B87C12561440062440D-Hustadt94d
1994Hustadt, UllrichBaader, Franz
Buchheit, Martin
Jeusfeld, Manfred A.
Nutt, Werner
Do we need the closed-world assumption in knowledge representation?
In: Working Notes of the KI'94 Workshop: Reasoning about Structured Objects: Knowledge Representation meets Databases (KRDB'94), 24-26
Proceedings Article8FE5F489472770ECC12561440062436D-Hustadt94c
1994Hustadt, UllrichKunze, Jürgen
Stoyan, Herbert
Common and Mutual Belief for Agent Modeling
In: KI-94 Workshops: Extended Abstracts, 123-124
Proceedings ArticleF4C30114574938AEC12561440062431D-Hustadt94b2
1994Hustadt, UllrichKunze, Jürgen
Stoyan, Herbert
Do we need the closed-world assumption in knowledge representation?
In: KI-94 Workshops: Extended Abstracts, 293-294
Proceedings ArticleCC5E5A0627E3F4B2C1256144006243D1-Hustadt94c2
1994Stop sign IconHustadt, UllrichLaux, Arnim
Wansing, Heinrich
Stop sign IconCommon and Mutual Belief for Agent Modeling
In: Modeling Epistemic Propositions: Workshop during the 18th German Annual Conference on Artificial Intelligence (KI-94),
Proceedings Article42DEEA260A83686AC12562DF005321C0-Hustadt94b
1994Jaeger, ManfredDoyle, J.
Sandewall, E.
Torasso, P.
Probabilistic Reasoning in Terminological Logics
In: Principles of Knowledge Representation an Reasoning: Proceedings of the 4th International Conference (KR94), 305-316
Proceedings Article55A6319A964B2633C125614400622877-Jaeger94a
1994Jaeger, ManfredLopez de Mantaraz, Ramon
Poole, David
A Logic for Default Reasoning About Probabilities
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94), 352-359
Proceedings Article6FC779C64A04675BC12561440062293F-Jaeger94c
1994[Johann, Patricia]
Socher-Ambrosius, Rolf
Jouannaud, Jean-PierreSolving Simplificating Ordering Constraints
In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), 352-367
Proceedings Article9024EA563BBB599FC1256144006236ED-JohannSocher-Ambrosius93
1994[Lee, Shie-Jue]
Plaisted, David A.
Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233
Journal ArticleC7281635199260B6C125615E0067F1AA-lepl:94a
1994[Lee, Shie-Jue]
Plaisted, David A.
Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240
Journal Article832B4A4D9A5333F9C125615F002CD448-lepl:94b
1994Madden, PeterNebel, Bernhard
Dreschler-Fischer, Leonie
Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378
Proceedings Article0F4585948460991FC125614400622ACF-Madden94a-djki
1994Matthews, SeánGabbay, Dov M.A Theory and its Metatheory in $FS_0$
In: What is a logical system?, 329-354
Part of a BookC28B670E40A8810EC125614400622CB1-Matthews94b
1994Nonnengart, Andreas[MacNish, Craig]
[Pearce, David]
[Pereira, Luís Moniz]
How to Use Modalities and Sorts in Prolog
In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, 365-378
Proceedings Article2499D93F4739AFA4C125614400623EFA-NonnengartJELIA94
1994Plaisted, David A.Bundy, AlanThe Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71
Proceedings Article13480676CE48CD00C125614400624499-plaisted:94b
1994Schmidt, Renate A.Peirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: SIGALA Newsletter [2], 27-27
Journal Article86944D3DAA6E531FC1256144006241CA-Schmidt94a
1994Stop sign IconSchmidt, Renate A.Brink, C.
Schmidt, G.
Stop sign IconPeirce Algebras and Their Applications in Artificial Intelligence and Computational Linguistics: Abstract
In: Relational Methods in Computer Science; Dagstuhl Seminar Report 80 (9403), 21-22
Proceedings Article5EF7EA0E23CD745CC12561630048E914-Schmidt94
1994Schmidt, Renate A.Kunze, Jürgen
Stoyan, Herbert
Terminological Logics and Conceptual Graphs: An Historical Perspective
In: KI-94 Workshops: Extended Abstracts, 135-136
Proceedings Article19BAF6513A52F7BEC125614400624219-Schmidt94b
1994Socher-Ambrosius, RolfBundy, AlanA Refined Version of General E-Unification
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 665-677
Proceedings Article69D044FB113ACD2BC125615B002A4A8D-socher94a
1994Stop sign IconStruth, GeorgStop sign IconPhilosophical Logics: A Survey and a BibliographyReportFB6DC23F368C2CF6C125614700723415-Struth94a
1994Stop sign IconStruth, GeorgKunze, J.
Stoyan, H.
Stop sign IconIntensionality, Possible Worlds and Propositional Attitudes: Formal and Philosophical Foundations of Modal Semantics
In: KI-94 Workshops: Extended Abstracts, 108-109
Proceedings Article80CBA5D8124FD3A2C12561470073EF3D-Struth94b
1994Stuber, JürgenVan Hentenryck, PascalComputing Stable Models by Program Transformation
In: Proceedings of the 11th International Conference on Logic Programming (ICLP'94), 58-73
Proceedings ArticleAD86182F6BDAFE20C125614400623891-StuberICLP94
1994Weidenbach, ChristophBroda, Krysia
D'Agostino, Marcello
et. al.
First-Order Tableaux with Sorts
In: TABLEAUX-'94, 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 247-261
Proceedings Article930FB7085DB25892C125614400623C3D-Weidenbach94a
1994Weidenbach, ChristophKunze, Jürgen
Stoyan, Herbert
Sorts, Resolution, Tableaux and Propositional Logic
In: KI-94 Workshops: Extended Abstracts, 315-316
Proceedings ArticleD27CD4F40E462C1AC125614400623D06-Weidenbach94c
1994[Werner, Andreas]
Bockmayr, Alexander
[Krischer, Stefan]
Levi, Giorgio
Rodríguez-Artalejo, Mario
How to realize LSE narrowing
In: Proceedings of the 4th International Conference on Algebraic and Logic Programming (ALP'94), 59-76
Proceedings Article5D5D628699BF0635C12561440062107A-WernerBockmayrKrischer94
1994Weydert, EmilGeneral Belief Measures
In: Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence, 575-582
Proceedings ArticleF819EC665FD63FCBC125614400623EA9-Weydert94a
1994Weydert, EmilLakemeyer, Gerhard
Nebel, Bernhard
Hyperrational Conditionals
In: Foundations of Knowledge Representation and Reasoning, 310-332
Proceedings ArticleE7D0D1C8C9C8925DC12561650048A0C1-Weydert94b
1994[Yoshida, Tetsuja]
Bundy, Alan
[Green, Ian]
[Walsh, Toby]
Basin, David A.
Cohn, TonyColoured Rippling: An Extension of a Theorem Proving Heuristic
In: Proceedings of the 12th European Conference on Artificial Intelligence (ECAI'94), 85-89
Proceedings Article38316395E3ECAD73C1256144006248E5-Yoshida94
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
Set Constraints are the Monadic Class
In: Eighth Annual IEEE Symposium on Logic in Computer Science, 75-83
Proceedings Article965715C8DB9EACC7C125614C004A751B-BachmairGanzingerWaldmann-93-lics
1993[Bachmair, Leo]
Ganzinger, Harald
Waldmann, Uwe
[Gottlob, Georg]
[Leitsch, Alexander]
[Mundici, Daniele]
Superposition with simplification as a decision procedure for the monadic class with equality
In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, 83-96
Proceedings ArticleE4264F0A9FC0447FC125614C004A756A-BachmairGanzingerWaldmann-93-kgs
1993Stop sign IconBarnett, Richard
Basin, David A.
Hesketh, Jane
Stop sign IconA Recursion Planning Analysis of Inductive Completion
In: Annals of Mathematics and Artificial Intelligence [8], 363-381
Journal Article4C0DAC261C7B2B4DC125614400620275-BarnettBasinHesketh92a
1993Stop sign IconBarth, PeterBenhamou, F.
Colmerauer, A.
Smolka, Gert
Stop sign IconA Complete Symbolic 0-1 Constraint Solver
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Proceedings Article43EF58A870DA7013C1256144006203FD-Barth93c
1993Barth, Peter
Bockmayr, Alexander
Solving 0-1 Problems in CLP($\cal PB$)
In: Proceedings 9th Conference on Artificial Intelligence for Applications (CAIA), 263-269
Proceedings Article685B0F4FDABBD4AEC125614400620487-BarthBockmayr93a
1993Barth, PeterVoronkov, A.Linear 0-1 Inequalities and Extended Clauses
In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51
Proceedings Article644948B4182BCEE6C125614400620397-Barth93b
1993Stop sign IconBasin, David A.
Bundy, Alan
Kraan, Ina
Matthews, Seán
Stop sign IconA Framework for Program Development Based on Schematic Proof
In: Proc. 7th Intern.~Workshop on Software Specification and Design, 162-171
Proceedings ArticleCF846116E22AC691C12561440062062B-BasinBundyKraanMatthews93c
1993Stop sign IconBasin, David A.
Constable, Robert L.
Huet, Gérard
Plotkin, Gordon
Stop sign IconMetalogical Frameworks
In: Logical Environments, 1-29
Part of a Book7D8225FE9E01034EC1256144006206A3-Basin93a
1993Stop sign IconBasin, David A.
Matthews, Seán
Shyamasundar, R. K.Stop sign IconA Conservative Extension of First-Order Logic and its Applications to Theorem Proving
In: Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'93), 151-160
Proceedings Article87B7AC3179F144C4C1256144006207BB-BasinMatthews93d
1993Stop sign IconBasin, David A.
Walsh, Toby
Bajcsy, R.Stop sign IconDifference Unification
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), 116-122
Proceedings Article86E27BA57EAC72DFC12561440062086E-BasinWalsh93b
1993Stop sign IconBertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando
Hoffmann, Berthold
Krieg-Brückner, Bernd
Stop sign IconCompletion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494
Part of a Book7BD984CB7C606B5AC125614C004A75BC-Bertling-et-al-93
1993Stop sign IconBockmayr, AlexanderStop sign IconConditional Narrowing Modulo a Set of Equations
In: Applicable Algebra in Engineering, Communication and Computing [4], 147-168
Journal Article5C46CC794FC22F0EC125614400620B67-Bockmayr93c
1993Stop sign IconBockmayr, AlexanderBenhamou, F.
Colmerauer, A.
Stop sign IconLogic Programming with Pseudo-Boolean Constraints
In: Constraint Logic Programming---Selected Research, 327-350
Proceedings Article1B465924AB87B487C125614400620AE5-Bockmayr93b
1993Stop sign IconBockmayr, AlexanderBenhamou, F.
Colmerauer, A.
Smolka, G.
Stop sign Icon0-1 Constraints and 0-1 Optimization
In: 3rd Workshop on Constraint Logic Programming (WCLP '93), ?
Proceedings Article8A4BD0D4E690D29FC125614400620C4A-Bockmayr93h
1993Stop sign IconBockmayr, AlexanderKarmann, A.
Mosler, K.
Schader, M.
Uebe, G.
Stop sign IconEmbedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254
Proceedings Article4BED5A620B998D1CC125614400620A4F-Bockmayr93a
1993Stop sign IconBockmayr, Alexander
Radermacher, F. J.
Herzog, O.
Christaller, Th.
Schütt, D.
Stop sign IconKünstliche Intelligenz und Operations Research
In: Grundlagen und Anwendungen der Künstlichen Intelligenz. 17. Fachtagung für Künstliche Intelligenz, 249-254
Proceedings ArticleDBA0E89C330300DAC125614400620F14-BockmayrRadermacher93e
1993Stop sign IconChadha, Ritu
Plaisted, David A.
Stop sign IconOn the mechanical derivation of loop invariants
In: Journal of Symbolic Computation [15], 705-744
Journal ArticleEC5B100EDAFB05D7C1256144006246B6-chpl:93c
1993Stop sign IconDimopoulos, Yannis
Magirou, Vangelis
Papadimitriou, Christos
Stop sign IconOn Kernels, Defaults and Even Graphs
In: Annals of Mathematics and Artificial Intelligence,
Journal Article53E6EFAFF5C4E789C12561440062162F-Dimopoulos-93-mpii226-2-
1993Stop sign IconEisinger, Norbert
Ohlbach, Hans Jürgen
Gabbay, Dov M.
Hogger, C. J.
Robinson, J. A.
Stop sign IconDeduction Systems Based on Resolution
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 184-271
Proceedings Article04700EE797073792C125615B005D0C70-EisingerOhlbach93
1993Stop sign IconFehrer, DetlefClarke, M.
Kruse, R.
Moral, S.
Stop sign IconA Unifying Framework for Reason Maintenance
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings European Conference ECSQARU '93, 113-120
Proceedings Article8067E73FC673743DC1256144006218EB-Fehrer93a
1993Stop sign IconHanus, MichaelStop sign IconTowards the Global Optimization of Functional Logic Programs
In: Proc.~Workshop on Global Compilation, International Logic
Programming Symposium, 83-97
Proceedings ArticleA5D2827FA5AC36F2C12562BC00526A18-Hanus93d
1993Hanus, Michael
[Josephs, Berthold]
Bruynooghe, Maurice
Penjam, Jaan
A Debugging Model for Functional Logic Programs
In: Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming (PLILP-93), 28-43
Proceedings Article31383E2EDD860E31C12561440062243F-HanusJosephs93c
1993Hanus, MichaelWarren, David ScottAnalysis of Nonlinear Constraints in CLP($\calR$)
In: Proceedings of the 10th International Conference on Logic Programming (ICLP '93), 83-99
Proceedings ArticleB5FA4084B321EF26C125614400622044-Hanus93a
1993Hopf, Jörn
[Klawonn, Frank]
Selbstlernende Fuzzy-Controller auf der Basis Genetischer Algorithmen
In: Fuzzy-Systeme '93 / Management unsicherer Informationen, 21-27
Proceedings Article402D029CDC5A568BC1256144006224CB-Hopf93a
1993Stop sign IconHustadt, UllrichBürckert, Hans-Jürgen
Nutt, Werner
Stop sign IconAutomated Support for the Development of Non-classical Logics
In: Workshop: Modellierung epistemischer Propositionen, KI '93,
Proceedings Article1ED3C6DA95AABD99C1256144006226E7-Hustadt93b
1993Stop sign IconHustadt, UllrichCodognet, P.
Dung, P. M.
Kakas, A. C.
Mancarella, P.
Stop sign IconAbductive Disjunctive Logic Programming
In: ICLP '93 Postconference Workshop on Abductive Reasoning, ?
Proceedings ArticleD75B7072AA75B7EBC125614400622683-Hustadt93a
1993Stop sign IconHustadt, Ullrich
Nonnengart, Andreas
[Rowles, C.]
[Liu, H.]
[Foo, N.]
Stop sign IconModalities in Knowledge Representation
In: Proc. of the 6th Australian Joint Conference on Artificial Intelligence (AI '93), 249-254
Proceedings ArticleA5F0D17D3131EDADC1256144006227B0-Hustadt93c
1993Stop sign IconJaeger, ManfredStop sign IconCircumscription: Completeness Reviewed
In: Artificial Intelligence [60], 293-301
Journal Article65D9C1F1D3EA19F6C125614400622827-Jaeger93a
1993Stop sign IconKraan, Ina
Basin, David A.
Bundy, Alan
Stop sign IconMiddle-Out Reasoning for Logic Program Synthesis
In: Proc.~10th Intern. Conference on Logic Programing (ICLP '93), 441-455
Proceedings Article6DB864E09E9ED9EDC125614400622A07-KraanBasinBundy93b
1993Stop sign IconKraan, Ina
Basin, David A.
Bundy, Alan
Lau, K. K.
Clement, T.
Stop sign IconLogic Program Synthesis via Proof Planning
In: International Workshop on Logic Program Synthesis and Transformation (LOPSTR '92), 1-14
Proceedings Article6B1B50BA75276C28C12561440062298F-KraanBasinBundy93a
1993Stop sign IconMadden, Peter
[Bundy, Alan]
Stop sign IconGeneral Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93,
Proceedings ArticleAA909DA67BDC4078C125628F00513AA4-Madden-93a
1993Stop sign IconMatthews, Seán
Smaill, Alan
Basin, David A.
Huet, G.
Plotkin, G.
Stop sign IconExperience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82
Part of a BookBB083A31D1AD8800C125614400622D01-MatthewsSmaillBasin93a
1993Stop sign IconNonnengart, Andreas[Bajcsy, R.]Stop sign IconFirst-Order Modal Logic Theorem Proving and Functional Simulation
In: Proc.~13th Intern.~Joint Conference on Artificial Intelligence (IJCAI '93), 80-85
Proceedings Article2F5F4D7D1414321CC125614400622E2D-nonnengart93a
1993Ohlbach, Hans JürgenTranslation Methods for Non-Classical Logics: An Overview
In: Bulletin of the Interest Group in Propositional and Predicate Logics (IGPL) [1], 69-90
Journal ArticleBE84B38C1D6DE09EC125615B005D0C71-Ohlbach93c
1993Ohlbach, Hans JürgenKobsa, AlfredEin kurzes Tutorial über funktionale Übersetzung von Modallogik nach Prädikatenlogik
In: Bericht Nr. 15/93: Recommendations for Extensions to BGP-MS, 19-26
Proceedings ArticleA8854C3B4419FC1BC125647B0051B906-Ohlbach93a
1993Ohlbach, Hans Jürgen[Voronkov, A.]Optimized Translation of Multi Modal Logic into Predicate Logic
In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264
Proceedings ArticleA738FCAC8BD5DA48C1256479004DC075-OhlbachLPAR93
1993Stop sign IconPlaisted, David A.Gabbay, Dov M.
Hogger, C.
Robinson, J. A.
Siekmann, J.
Stop sign IconEquational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364
Proceedings Article0CC4D3F4CCF2879BC1256144006244FD-plaisted.survey
1993Stop sign IconSchmidt, Renate A.Ohlbach, Hans JürgenStop sign IconTerminological Representation, Natural Language \& Relation Algebra
In: GWAI-92: Advances in Artificial Intelligence: Proc.~16th German Workshop on Artificial Intelligence, 357-371
Proceedings ArticleCE065F621CCFF4CEC125614400623229-Schmidt92a
1993Socher-Ambrosius, RolfVoronkov, AndreiUnification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308
Proceedings Article90B7B5F4B7F73AD1C125614400623676-Socher93a
1993Stop sign IconWeidenbach, ChristophBajcsy, R.Stop sign IconExtending the Resolution Method with Sorts
In: Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI '93), 60-65
Proceedings Article070F791D660D5C07C125614400623B4E-Weidenbach93a
1993Stop sign IconWeidenbach, ChristophOhlbach, Hans JürgenStop sign IconA New Sorted Logic
In: GWAI-92: Advances in Artificial Inteligence, Proceedings 16th German Workshop on Artificial Intelligence, 43-54
Proceedings Article11726CF57FEE0167C125614400623AD5-Weidenbach92a
1993Stop sign IconWerner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Stop sign IconHow to Realize LSE NarrowingReport6EDEF8140E80F131C12561440062103E-WernerBockmayrKrischer93i
1993Stop sign IconWerner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Beierle, C.Stop sign IconA Concept for the Implementation of LSE Narrowing
In: 9.~Workshop Logische Programmierung, ?
Proceedings Article116739CA8C9E85ECC125614400620FDA-WernerBockmayrKrischer93g
1993Stop sign IconWerner, Andreas
Bockmayr, Alexander
Krischer, Stefan
Mück, A.Stop sign IconHow to Realize LSE Narrowing
In: Proceedings of the 2nd International Workshop on Functional/Logic Programming, ?-?
Proceedings ArticleFEA3E4D634F08EB2C125614400620F9E-WernerBockmayrKrischer93f
1993Stop sign IconWeydert, EmilClarke, M.
Kruse, R.
Moral, S.
Stop sign IconPlausible Inference for Default Conditionals
In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty: Proceedings of the European Conference ECSQARU '93, 356-363
Proceedings Article9B3F7CBF7DF66B81C125614400623DE1-Weydert93a
1993Stop sign IconWeydert, EmilNejdl, W.Stop sign IconDefault Quantifiers: About Plausible Reasoning in First-Order Contexts
In: Working Notes of the Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications, ?
Proceedings Article5FBB03A41DF14F53C125614400623E49-Weydert93b
1992Stop sign IconBachmair, Leo
Ganzinger, Harald
Lynch, Christopher
Snyder, Wayne
Kapur, D.Stop sign IconBasic Paramodulation and Superposition
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 462-476
Proceedings Article917C18BE7D912117C125614C004A70BC-Bachmair-et-al-92-cade
1992Stop sign IconBachmair, Leo
Ganzinger, Harald
Voronkov, A.Stop sign IconNon-Clausal Resolution and Superposition with Selection and Redundancy Criteria
In: Logic Programming and Automated Reasoning, 273-284
Proceedings Article279D2F457AAD4F51C125614C004A729A-BachmairGanzinger-92-lpar
1992Bachmair, Leo
Ganzinger, Harald
Waldmann, Uwe
Kirchner, Hélène
Levi, G.
Theorem proving for hierarchic first-order theories
In: Algebraic and Logic Programming, 420-434
Proceedings Article518937E3FBBFD15EC125614C004A74B7-BachmairGanzingerWaldmann-92-alp
1992Stop sign IconBasin, David A.
Walsh, Toby
Kapur, D.Stop sign IconDifference Matching
In: Proceedings of the11th International Conference on Automated Deduction (CADE-11), 295-309
Proceedings ArticleC37CA3A1EB1EE0C1C12561440062080A-Basin92a
1992Stop sign IconBockmayr, AlexanderSchulz, K. U.Stop sign IconAlgebraic and Logical Aspects of Unification
In: Proc.~1st Workshop on Word Equations and Related Topics, 171-180
Proceedings Article5A76C515B027ADE6C12561440062095E-Bockmayr92a
1992Stop sign IconBockmayr, AlexanderSchulz, K. U.Stop sign IconModel-Theoretic Aspects of Unification
In: Proceedings of the 1st Workshop on Word Equations and Related Topics, 181-196
Proceedings ArticleE9284CFFBD87D33DC1256144006209AF-Bockmayr92b
1992Stop sign IconBockmayr, AlexanderTchuente, M.Stop sign IconA Theoretical Basis for Constraint Logic and Functional Programming
In: Proc.~1st African Conference on Research in Computer Science, 793-804
Proceedings Article157A67BCFCF03CADC125614400620A13-Bockmayr92c
1992[Eisinger, Norbert]
Nonnengart, Andreas
[Präcklein, Axel]
[Bläsius, K.H.]
[Bürckert, Hans-Jürgen]
Termersetzungssysteme
In: Deduktionssysteme -- Automatisierung des logischen Denkens, 126-149
Part of a Book2149B91052F3A9CBC12564580040E7DA-EisingerNonnengartPraecklein92
1992Stop sign IconFrank, Ian
Basin, David A.
Bundy, Alan
Neuman, B.
Horn, W.
Stop sign IconFinesse: An Adaptation of Proof-Planning to Declarer Play in Bridge
In: Proceedings of the 10th European Conference on Artificial Intelligence (ECAI-92), 72-76
Proceedings Article8676FB1DF78AAC69C125614400621950-FrankBasinBundy92a
1992Gabbay, Dov M.
Ohlbach, Hans Jürgen
Quantifier Elimination in Second-Order Predicate Logic
In: South African Computer Journal [7], 35-43
Journal Article5519DFC113ADFD59C125615B005D0C79-GabbayOhlbach92c
1992Stop sign IconGabbay, Dov M.
Ohlbach, Hans Jürgen
Broda, K.Stop sign IconFrom a Hilbert Calculus to its Model Theoretic Semantics
In: Proc.~4th Annual UK Conference on Logic Programming (APULK '92), 218-252
Proceedings Article4F994C835C10B8E3C125615B005D0C74-GabbayOhlbach92b
1992Stop sign IconGabbay, Dov M.
Ohlbach, Hans Jürgen
Nebel, Bernhard Nebel
Rich, Charles
Swartout, William
Stop sign IconQuantifier Elimination in Second-Order Predicate Logic
In: Principles of Knowledge Representation and Reasoning (KR92),, 425-435
In: South African Computer Journal [7], 425-435
Proceedings Article0D8E1FC182DFABF7C125615B005D0C6D-GabbayOhlbach92cKR
1992Stop sign IconGanzinger, Harald
Stuber, Jürgen
Buchmann, J.
Ganzinger, Harald
Paul, W. J.
Stop sign IconInductive theorem proving by consistency for first-order clauses
In: Informatik - Festschrift zum 60. Geburtstag von Günter Hotz, 441-462
Part of a Book7CDC868728403F9EC125614C004A76BE-GanzingerStuber-92
1992Ganzinger, Harald
Waldmann, Uwe
Rusinowitch, M.
Rémy, J.-L.
Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 430-437
Proceedings Article344649575B27FE13C125614C004A770E-GanzingerWaldmann-92-ctrs
1992Hanus, MichaelApt, KrzysztofOn the Completeness of Residuation
In: Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming, 192-206
Proceedings Article0052ED22336CAA96C125614400621F2B-Hanus92b
1992Hanus, MichaelBruynooghe, Maurice
Wirsing, Martin
Improving Control of Logic Programs by Using Functional Logic Languages
In: Proceedings 4th International Symposium on Programming Language Implementation and Logic Programming, 1-23
Proceedings Article85007DD550419F1EC125614400621F7E-Hanus92c
1992Hanus, MichaelKirchner, Hélène
Levi, Georgio
Incremental Rewriting in Narrowing Derivations
In: Proceedings of the 3rd International Conference on Algebraic and Logic Programming (ALP-92), 228-243
Proceedings ArticleA2A2CA6279093617C125614400621EC7-Hanus92a
1992Hanus, MichaelPfenning, FrankLogic Programming with Type Specifications
In: Types in Logic Programming, 91-140
Part of a Book57C96A4DF8F8778DC125614400621FDF-Hanus92d
1992Madden, PeterKapur, DeepakAutomated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460
Proceedings Article11AF6F5F2EAAD538C1256290004D5E14-Madden-1992
1992Stop sign IconMatthews, SeánYonezawa, A.
Smith, B. C.
Stop sign IconReflection in a Logical System
In: Proc.~IMSA '92 Workshop on Reflection and Meta-Level Architecture, 178-183
Proceedings ArticleFC9B98AB854D4E0EC125614400622C5F-Matthews92a
1992Nonnengart, Andreas
Ohlbach, Hans Jürgen
[Bläsius, K. H.]
[Bürckert, Hans-Jürgen]
Modal- und Temporallogik
In: Deduktionssysteme - Automatisierung des logischen Denkens, 239-284
Part of a BookB00E9D43C995EA14C125645800385475-NonnengartOhlbach92a
1992Stop sign IconOhlbach, Hans JürgenStop sign IconLogic Engineering: Konstruktion von Logiken
In: KI [3], 34-38
Journal Article0CE5EC5CB3BDE80FC125615B005D0C75-Ohlbach92a
1992Stop sign IconSocher-Ambrosius, RolfStop sign IconHow to Avoid the Derivation of Redundant Clauses in Reasoning Systems
In: Journal of Automated Reasoning [9], 325-336
Journal ArticleCF832384DB652B95C125614400623549-socher92b
1992Stop sign IconSocher-Ambrosius, RolfKirchner, Hélène
Levi, G.
Stop sign IconA Goal Oriented Strategy Based on Completion
In: Proc.~3rd Intern.~Conference on Algebraic and Logic Programming, 435-445
Proceedings Article530A23D12A3F78AAC1256144006234E5-socher92a
1992Waldmann, UweSemantics of Order-Sorted Specifications
In: Theoretical Computer Science [94], 1-35
Journal Article9B92FFDE59D480F9C125649000309A03-Waldmann92a
1991Stop sign IconBachmair, Leo
Ganzinger, Harald
Stop sign IconPerfect model semantics for logic programs with equality
In: Proceedings International Conference on Logic Programming '91, 645-659
Proceedings ArticleF8B2870833020DE2C125614C004A71FB-BachmairGanzinger-91-iclp
1991Stop sign IconBachmair, Leo
Ganzinger, Harald
Kaplan, St.
Okada, M.
Stop sign IconCompletion of first-order clauses with equality by strict superposition
In: Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting, 162-180
Proceedings Article732F6616DA3A7EA9C125614C004A7183-BachmairGanzinger-91-ctrs
1991Stop sign IconBasin, David A.
Brown, G. M.
Leeser, M. E.
Stop sign IconFormally Verified Synthesis of Combinational CMOS Circuits
In: Integration: The Intern. Journal of VLSI Design [11], 235-250
Journal Article15C7CBF88C0992A6C1256144006205B4-Basin91c
1991Stop sign IconBasin, David A.
Giunchiglia, Fausto
Traverso, P.
Ardizzone, E.
Gaglio, S.
Sorbello, F.
Stop sign IconAutomating Meta-Theory Creation and System Extension
In: Proc. Trends in AI: 2nd Congress of the Italian Association for Artificial Intelligence (AI*IA), 48-57
Proceedings ArticleF94E70B116C8ED40C125614400620563-Basin91b
1991Stop sign IconBasin, David A.
Howe, D.
Ito, T.
Meyer, A. R.
Stop sign IconSome Normalization Properties of Martin-Löf's Type Theory, and Applications
In: International Conference on Theoretical Aspects of Computer Software (TACS '91), 475-494
Proceedings Article72E609829D1C9733C125614400620757-Basin91a
1991Stop sign IconBasin, David A.
Kaufmann, Matt
Huet, Gérard
Plotkin, Gordon
Stop sign IconThe Boyer-Moore Prover and Nuprl: An Experimental Comparison
In: Logical Frameworks, 90-119
Proceedings ArticleFD77F2826629BDD1C125614400624922-Basin90b
1991Baumeister, HubertAbramsky, S.
Maibaum, T. S. E.
Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120
Proceedings Article00250C9208585671C12561440062090E-Baumeister91a
1991Stop sign IconBockmayr, Alexander
Brzoska, C.
Deussen, P.
Varsek, I.
Stop sign IconKA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung
In: Informatik--Forschung und Entwicklung [6], 128-140
Journal ArticleF37B3C6786840572C125614400620D83-BockmayrBrzoskaDeussenVarsek91a
1991Stop sign Icon[Brink, Chris]
[Rewitzky, I. M.]
Schmidt, Renate A.
Stop sign IconAutodescriptivity: Beware!
In: The Computer Journal [34], 380-381
Journal Article1522AE3EE7626929C125614400621233-BrinkRewitzkySchmidt91a
1991Stop sign IconCunningham, J.
Gabbay, Dov M.
Ohlbach, Hans Jürgen
Stop sign IconTowards the MEDLAR Framework
In: ESPRIT '91 Conference Proceedings, 822-841
Proceedings ArticleC83C8DD865ABCA95C125615B005D0C76-CunninghamGabbayOhlbach91a
1991Stop sign IconEisinger, Norbert
Ohlbach, Hans Jürgen
Präcklein, Axel
Stop sign IconReduction Rules for Resolution Based Systems
In: Artificial Intelligence [50], 141-181
Journal Article216DD10AC00C4E4FC125615B005D0C72-EisingerOhlbachPraecklein91a
1991Stop sign IconGanzinger, HaraldStop sign IconA completion procedure for conditional equations
In: Journal of Symbolic Computation [11], 51-81
Journal Article7846F0CC04846E11C125614C004A761F-Ganzinger-91-jsc
1991Stop sign IconGanzinger, HaraldStop sign IconOrder-Sorted Completion: The Many-Sorted Way
In: Theoretical Computer Science [89], 3-32
Journal Article3EE6CB2954C7DBEDC125614C004A766E-Ganzinger-91-tcs
1991Stop sign IconHanus, MichaelStop sign IconHorn Clause Programs with Polymorphic Types: Semantics and Resolution
In: Theoretical Computer Science [89], 63-106
Journal ArticleF78B0C21E423D068C125614400621E63-Hanus91c
1991Stop sign IconHanus, MichaelAbramsky, S.
Maibaum, T.S.E.
Stop sign IconParametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200
Proceedings ArticleFD6F75938438D8B0C125614400621DD7-Hanus91b
1991Stop sign IconHanus, MichaelBoley, H.
Richter, M.M.
Stop sign IconEfficient Implementation of Narrowing and Rewriting
In: Proc. Intern. Workshop on Processing Declarative Knowledge, 344-365
Proceedings Article7F7CC103FC4CE96BC125614400621D73-Hanus91a
1991Krischer, Stefan
Bockmayr, Alexander
Book, R.Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), 74-85
Proceedings Article50843001E3B9CEC0C125614400622A6C-KrischerBockmayr91a
1991Stop sign IconOhlbach, Hans JürgenStop sign IconSemantics Based Translation Methods for Modal Logics
In: Journal of Logic and Computation [1], 691-746
Journal Article4CF428553EB881C5C125615B005D0C6C-Ohlbach91a
1991Stop sign IconOhlbach, Hans Jürgen
Herzig, A.
Stop sign IconParameter Structures for Parametrized Modal Operators
In: Proc.~Intern.~Joint Conference on Artificial Intelligence (IJCAI'91), 512-517
Proceedings ArticleAAA968BA11CB3A2AC125615B005D0C6B-OhlbachHerzig91a
1991Stop sign IconOhlbach, Hans Jürgen
Siekmann, Jörg H.
Lassez, J. L.
Plotkin, Gordon
Stop sign IconThe Markgraf Karl Refutation Procedure
In: Computational Logic, Essays in Honor of Alan Robinson, 41-112
Proceedings ArticleC2D494649CC3E164C125615B005D0C73-OhlbachSiekmann91a
1991Stop sign IconSocher-Ambrosius, RolfStop sign IconOn the Church-Rosser Property in Left-Linear SystemsReport314BB18EA4FE5B8AC125614400623409-socher91d
1991Stop sign IconSocher-Ambrosius, RolfStop sign IconOn the Relation Between Completion Based and Resolution Based Theorem Proving
In: Journal of Symbolic Computation [11], 129-148
Journal Article37C41F3B3F867B90C12561440062337D-socher91c
1991Stop sign IconSocher-Ambrosius, RolfStop sign IconOptimizing the Clausal Normal Form Transformation
In: Journal of Automated Reasoning [7], 325-336
Journal Article5DE9F50A760287C4C12561440062331A-socher91b
1991Stop sign IconSocher-Ambrosius, RolfBook, R. V.Stop sign IconBoolean Algebra Admits no Convergent Term Rewriting System
In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA-91), 264-274
Proceedings Article9F9361A9458999F1C1256144006232A1-socher91a
1990Brahm, Uwe
[Pitz, Werner]
Parkwächter
In: c't Magazin für computer technik [-], 252-253
Journal ArticleA0F7CF3227D3DA7DC125688C00466DAB-BrahmPitz1990
10
Hide details for Publikationen im InternetPublikationen im Internet
2007Jacobs, Swen
Sofronie-Stokkermans, Viorica
Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??],
Electronic Journal ArticleA0659485C4A3EC20C125722D003B2ED3-jacobs-sofronie-pdpar-entcs
2006de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare]
[Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans
Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95
Electronic Proceedings Article9652C39F11860EAAC12571F4003A4339-deNivelle2006b
2006Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph
[Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans
Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12
Electronic Proceedings Article5B568642EC9A4D57C12572200041C338-HillenbrandTopicWeidenbach2005
2006Jacobs, Swen
Sofronie-Stokkermans, Viorica
[Cook, Byron]
[Sebastiani, Roberto]
Attachment IconApplications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26
Electronic Proceedings ArticleE29F1B9E1F620C49C12572210053CBCD-jacobs-sofronie-pdpar-06
2006Prevosto, Virgile[Coquand, Thierry]
[Lombardi, Henri]
[Roy, Marie-Franccoise]
Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop,
Electronic Proceedings Article33513BE7F54D9529C1256FBF002FB756-PrevostoDagstuhl2005
2006Sofronie-Stokkermans, Viorica[Autexier, Serge]
[Mantel, Heiko]
Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145
Electronic Proceedings Article89ECB32D30C239C6C125722100549A4A-Sofronie-verify-06
2004Hillenbrand, Thomas[Sattler, Ulrike]Attachment IconA Superposition View on Nelson-Oppen
In: Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 16-20
Electronic Proceedings Article8EAD4DC962EDE15BC1256EE40054344A-Hillenbrand2004
2003Hillenbrand, Thomas[Dahn, Ingo]
[Vigneron, Laurent]
Attachment IconCitius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER
In: Proceedings of the 4th International Workshop on First Order Theorem Proving, FTP'03, 1-13
Electronic Proceedings Article13192155732F5DD1C1256D32004620FA-Hillenbrand2003
2002Stop sign IconJaeger, ManfredStop sign IconAttachment IconRelational Bayesian Networks: a Survey
In: Electronic Transactions on Artificial Intelligence [6],
Electronic Journal ArticleE2A130EA2DD256C9C1256CAF00688874-JaegerMI19
2000Booth, RichardBaral, C.
Truszczynski, M.
Attachment IconThe lexicographic closure as a revision process
In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning (NMR 2000), ?
Electronic Proceedings Article05B35447AA534C15C1256AA2003C0455-Booth2000
39
Hide details for Diplomarbeiten (/Magisterarbeiten)Diplomarbeiten (/Magisterarbeiten)
2013Stop sign IconBrahm, UweStop sign IconMöglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes
Thesis - Masters thesisB2D30584FFD0FC1DC1257D56003A4DDE-Brahm2013
2006Dimitrova, RaynaModel Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes
Thesis - Masters thesisE98933E3DE9BBA00C12572350035E8C3-Dimitrova2006
2006Schäf, MartinAttachment IconAbstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
Thesis - Masters thesis9A16D39FBB0ADE2EC12571450044FF2C-Schaef2005
2005Piskac, RuzicaFormal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Thesis - Masters thesisF77B0C1F0923B6EEC1256FC40059EA93-Piskac2005
2005Suchanek, Fabian M.Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes
Thesis - Masters thesis8D87190D5DB624ADC1256FE200545742-Suchanek:DA:2005
2004Jacobs, SwenAttachment IconInstance Generation Methods for Automated Reasoning
Universität des Saarlandes
Thesis - Masters thesis288285D9C047581FC1256FC0004BA71E-Jacobs2004
2004Wies, ThomasAttachment IconSymbolic Shape Analysis
Universität des Saarlandes
Thesis - Masters thesis952441E206ED7310C1256F870035AF04-Wies2004
2002Rybalchenko, AndreyAttachment IconA Model Checker based on Abstraction Refinement
Universität des Saarlandes
Thesis - Masters thesisE198F9F27C896D72C1256D0A0037AD19-Rybalchenko2002
2001Grenner, IngoDie Erzeugung von Schnittebenen mit maximalem Verletzungsgrad und deren Einsatz im Branch-and-Cut Verfahren
Universität des Saarlandes
Thesis - Masters thesisE197CF1EE6EF2E78C1256AB5004926A7-Grenner01
2001Jung, GeorgAttachment IconEin Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
Thesis - Masters thesisBB14CC5B9E17DA83C1256B1A003E5478-JungDiplom2000
2000Brinker, ChristofGeometrisches Schließen mit SPASS
Universität des Saarlandes
Thesis - Masters thesis91A3AF0863304A8BC12568AE0069B365-Brinker2000
1999Fischmann, MatthiasOn Applications of Decidable Object-Oriented Type Theory
Universität des Saarlandes
Thesis - Masters thesisF347ECAE6D8BD769C125688D0041F716-Fischmann-Diplom99
1999Schmolzi, ChristianKooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes
Thesis - Masters thesisF21A46C1FED4F453C125674E00451792-Schmolzi-Diplom99
1999Veit, JörgFormal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes
Thesis - Masters thesisC05A82115F0047BAC12568AE0069E170-Veit1999
1998Althaus, ErnstBerechnung optimaler Steinerbäume in der Ebene
Universität des Saarlandes
Thesis - Masters thesis54E97C22983FAE18C1256751004C7F15-Althaus-Diplom98
1998Friedrich, StefanIntegration of a Decision Procedure for Second-Order Monadic Logic in a Higher-Order Logic Theorem Proving Environment
Universität des Saarlandes
Thesis - Masters thesis80E2C31FDE690B3DC12567450054B4F5-Friedrich-Diplom98
1998Leven, PeterIntegrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Thesis - Masters thesisAEA282517C2EA652C125674500537B7C-Leven-Diplom98
1997Christen, MichaelAttachment IconA Calculus of Simplification for Superposition
Universität des Saarlandes
Thesis - Masters thesis8DB9717BA22CB258C125659A0046C861-Christen97
1997Stop sign IconNaumann, StefanStop sign IconIntegration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Thesis - Masters thesisA5713FAF8FC448F6C12565AA0032B4BA-Naumann-Diplom97
1997Rau, RainerAdaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes
Thesis - Masters thesis45F628E6A675ED03C12565C9005395E3-RauRainer97
1997Timm, Jan-GeorgAttachment IconTesting the Satisfiability of RPO Constraints
Universität des Saarlandes
Thesis - Masters thesisA31E480CFA2F5514C12565B70052EC7F-Timm97
1996Autexier, SergeHeuristiken zum Beweisen von Gleichungen
Universität des Saarlandes
Thesis - Masters thesisB7C3F400910DEF02C1256A2300523C66-AutexierDipl96
1996Bach, AlexanderAttachment IconStatic analysis of functional programs via Linear Logic
Universität des Saarlandes
Thesis - Masters thesisCC875A7179F97FCA412563EC007A42E9-Bach96
1996Engel, ThorstenAttachment IconQuantifier Elimination in Second-Order Predicate Logic
Universität des Saarlandes
Thesis - Masters thesis96219E83E1111E5AC125647C0055F9D5-Engel96
1996Meyer, ChristophAttachment IconParallel Unit Resulting Resolution
Universität des Saarlandes
Thesis - Masters thesisCB093F8D8C5B3361C12562FA006018C0-Meyer-Diplom96
1996Schlobach, StefanUntersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Thesis - Masters thesis1FD9C043C827B1DEC12565CA003923B5-Schlobach97
1996Smaus, Jan-GeorgFinding Resolution K-Transformations
Universität des Saarlandes
Thesis - Masters thesis2AADE6F45268922E412563EC007E34F6-Smaus96
1995Ayari, AbdelwahebAttachment IconA Reinterpretation of the Deductive Tableaux System in Higher-Order Logic
Universität des Saarlandes
Thesis - Masters thesis0524ABFC630F5348C12562F8005E190D-Abdu95
1995Bozkurt, AhmetStrategien für Resolutionsbeweiser in Logik höherer Stufe
Universität des Saarlandes
Thesis - Masters thesis9D92060D1ECE8407C1256A3400462D05-BozkurtDiplSiek1995
1995Gaede, BerndAttachment IconSuperposition Extended with Sorts
Universität Kaiserslautern
Thesis - Masters thesisCA9CC4268DC03C99C12562F9005177DE-Gaede95-Mastersthesis
1995Gerber, ChristianEntwicklung eines Algorithmus zur effizienten Anfragebeantwortung für eine terminologische Wissensrepräsentationssprache
Universität des Saarlandes
Thesis - Masters thesis3A74076DE6CB28DFC12562F90055EE8C-Gerber-Mastersthesis95
1995Klotzki, PiaWiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Thesis - Masters thesisB5CE58DD21038C39C12562F90053C31E-Klotzki-Mastersthesis95
1995Mohr, ErikResolution-Based Calculi for Modal Logics
Universität des Saarlandes
Thesis - Masters thesisE4814028088838DAC12562F8005E81EF-Mohr95
1995Rock, GeorgAttachment IconTransformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
Thesis - Masters thesis64249D80170816ACC12562F8005EB17F-Rock95
1994Becker, JoachimAttachment IconEffiziente Subsumption in Deduktionssystemen
Universität des Saarlandes
Thesis - Masters thesisE03D22F56DADD560412563EC0079F790-Becker94
1992Graf, PeterUnification Using Dynamic Sorts
Universität des Saarlandes
Thesis - Masters thesisEA6ED6878CC93CBFC1256A340054F605-GrafDipl1992
1991Reinold, MichaelTransformation in dichten Wäldern
Universität des Saarlandes
Thesis - Masters thesisE9ADF95D8E6A545BC1256A4D00542DEC-ReinoldDipl91
1991Stop sign IconStuber, JürgenStop sign IconAttachment IconInductive Theorem Proving for Horn Clauses
Universität Dortmund
Thesis - Masters thesisF6AD375FD50780EBC12565D000678564-Stuber91
1990Stop sign IconBaumeister, HubertStop sign IconAttachment IconÜber die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund
Thesis - Masters thesis75B49A5B38DC844FC12565D3003E4AE6-Baumeister1990
26
Hide details for DissertationenDissertationen
2006Kazakov, YevgenyAttachment IconSaturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes
Thesis - PhD thesisC84B4763BC1994CDC1257145004631F6-Kazakov2005
2005Backes, WernerProgrammanalyse des XRTL Zwischencodes
Universität des Saarlandes
Thesis - PhD thesisF7CE8EEF2522E595C1256FE3007F965D-BackesDiss2005
2003Korovin, KonstantinKnuth-Bendix orders in automated deduction and term rewriting
University of Manchester
Thesis - PhD thesisE3C39EF5774D742BC1256E23006B0F5E-KorovinPhD2003
2003Maier, PatrickAttachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes
Thesis - PhD thesis97A2749806AF9DF1C1256EC2005EAF70-Maier2003
2001Gamkrelidze, AlexanderAttachment IconEinige Optimierungsmethoden hierarchischer Schaltkreise
Universität des Saarlandes
Thesis - PhD thesis12484DF28310855CC1256B49004727A6-Gamkrelidze-Thesis-2001
2001Hopf, JörnPhotomaskenlayout für eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem
Universität des Saarlandes
Thesis - PhD thesisD9E61C40FD0C5700C1256D280044BDD2-HopfDiss2001
2001Mukhopadhyay, SupratikAttachment IconA Uniform Constraint-based Framework for the Verification of Infinite State Systems
Universität des Saarlandes
Thesis - PhD thesis01D792E063A8C408C1256A72005560AC-Mukhopadhyay-Thesis-2001
2000Eisenbrand, FriedrichGomory-Chvátal Cutting planes and the Elementary Closure of Polyhedra
Universität des Saarlandes
Thesis - PhD thesisD7F17E3D0E338FF9C1256A0000431A5B-Eisenbrand2000
1999Baumeister, HubertAttachment IconRelations between Abstract Datatypes modeled as Abstract Datatypes
Universität des Saarlandes
Thesis - PhD thesis259AAD6E949570BFC12568A900543BDC-BaumeisterDiss99
1999Hustadt, UllrichResolution-Based Decision Procedures for Subclasses of First-Order Logic
Universität des Saarlandes
Thesis - PhD thesis3C4F8D74A0A484FFC125675A005CF7E5-Hustadt1999
1999Meyer, ChristophSoft Typing for Clausal Inference Systems
Universität des Saarlandes
Thesis - PhD thesisE3964A9439776535C1256809005340DB-Meyer-Diss
1999Stuber, JürgenAttachment IconSuperposition Theorem Proving for Commutative Algebraic Theories
Universität des Saarlandes
Thesis - PhD thesis38C07437FD69F7E3C1256951003719A5-Stuber1999
1999Tzakova, MiroslavaHybrid Languages
Universität des Saarlandes
Thesis - PhD thesis291126B1799920CAC125686A004B8901-Tzakova1999
1998Kasper, ThomasA Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes
Thesis - PhD thesis01DDA49C6FF1D250C12566FF00456AA6-KasperDiss1998
1998Struth, GeorgCanonical Transformation in Algebra, Universal Algebra and Logic
Universität des Saarlandes
Thesis - PhD thesis995A157C8352C09BC12567750041FAE8-StruthDiss1999
1997Schmidt, Renate A.Optimised Modal Translation and Resolution
Universität des Saarlandes
Thesis - PhD thesisB051B4AF36990D1EC1256559005776F7-Schmidt97d
1997Viganò, LucaA Framework for Non-Classical Logics
Universität des Saarlandes
Thesis - PhD thesis891E1A29FE081653C125651D0046B879-Vigano97
1997Waldmann, UweCancellative Abelian Monoids in Refutational Theorem Proving
Universität des Saarlandes
Thesis - PhD thesis0677A953E435DEBCC12565850050E6A5-Waldmann1997
1997Zeyer, JörgEine Beobachtungs-Logik für modulare Sprachen
Universität des Saarlandes
Thesis - PhD thesis0FBA3F6E1B6FBC4EC1256A38004C7E98-ZeyerDiss1997
1996Weidenbach, ChristophComputational Aspects of a First-Order Logic with Sorts
Universität des Saarlandes
Thesis - PhD thesis28087E6665761AB5C1256458003556E3-Weidenbach96e
1995Barth, PeterLogic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany
Thesis - PhD thesisB40EFE1A58AD5E2CC12561440062485A-Barth-Diss
1995Fehrer, DetlefA unifying logical framework for reason maintenance
Universität des Saarlandes
Thesis - PhD thesis293D475E4BA8883AC1256A38004B752F-FehrerDiss1995
1995Graf, PeterTerm Indexing
Universität des Saarlandes
Thesis - PhD thesis09E4AD18C8E7C54AC125647C002B817F-Graf-95-phd
1995Jaeger, ManfredDefault Reasoning about Probabilities
Universität des Saarlandes
Thesis - PhD thesisDED7848ED229A117C12562F90050F618-JaegerThesis
1995Nonnengart, AndreasA Resolution-Based Calculus for Temporal Logics
Universität des Saarlandes
Thesis - PhD thesisE2DA5AF2849CB50BC12562F90054DE49-Nonnengart-Dissertation
1988Ohlbach, Hans JürgenA Resolution Calculus for Modal Logics
Universität Kaiserslautern
Thesis - PhD thesis87D0C4F36A47E62CC1256479004E38F8-Ohlbach88
9
Hide details for HabilitationenHabilitationen
2004Sofronie-Stokkermans, VioricaAlgebraic and logical methods in automated theorem proving and in the study of concurrency
Universität des Saarlandes
Thesis - Habilitation thesisE81B5FE1FA83FE05C1256FEB0047BB37-Sofronie-Stokkermans-hab04
2002Stop sign IconCharatonik, WitoldStop sign IconDirektionale Typen in der Logischen Programmierung
Universität des Saarlandes
Thesis - Habilitation thesis5DE02746E5DFC7D1C1256B7C0049C7C6-Charatonik2002habil
2002Stop sign IconJaeger, ManfredStop sign IconProbabilistic Decision Graphs
Universität des Saarlandes
Thesis - Habilitation thesis07F2453E58E9088AC1256CAF006377AF-JaegerHabil
2000Weidenbach, ChristophEntscheidbarkeitsprobleme für monadische (Horn)Klauselklassen
Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät
Thesis - Habilitation thesis278C6FC049505963C1256A13007208D0-Weidenbach2000habil
1998Podelski, AndreasThema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes
Thesis - Habilitation thesis1DED97605C77B240C1256A2500510C86-PodelskiHabil1998
1996Bockmayr, AlexanderGleichheit und Constraints in der Logikprogrammierung
Universität des Saarlandes
Thesis - Habilitation thesis55F5FABD09D2103CC12565B00034FDE2-bockmayr_habil_96
1995Basin, David A.Thema der Antrittsvorlesung: MONA - Ein Werkzeug zur Systemverifikation und -entwicklung
Universität des Saarlandes
Thesis - Habilitation thesisF93DEA3E3BE59A5BC1256A240050A716-BasinHabil1995
1994Hanus, MichaelThema der Antrittsvorlesung: Deklarative Programmierparadigmen und ihre Integration
Universität des Saarlandes
Thesis - Habilitation thesis5189354A8D2BF03EC1256A24005037A3-HanusHabil1994
1993Ohlbach, Hans JürgenThema der Antrittsvorlesung: Transformation logischer Systeme
Universität des Saarlandes
Thesis - Habilitation thesis4453007D9BC5D30BC1256A24004CC807-OhlbachHabil1993
782

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)