conf/arts/LanoS97:::Kevin Lano::Ana Sánchez:::Transformational Formal Development of Real-Time Systems.
conf/arts/Sales97:::Ton Sales:::Llull as Computer Scientist or Why Llull Was One of Us.
conf/arts/HernalsteenF97:::Christian Hernalsteen::Arnaud Février:::Introduction of a Suspend/Resume Operator in ET-LOTOS.
conf/arts/Dierks97:::Henning Dierks:::PLC-Automata: A New Class of Implementable Real-Time Automata.
conf/bibe/Chen00:::Su-Shing Chen:::Knowledge discovery of Gene Functions and Metabolic Pathways.
conf/bibe/GilbertS00:::David Gilbert::Michael Schroeder:::FURY: Fuzzy Unification and Resolution Based on Edit Distance.
conf/bibe/WangW00:::Xun Wang::William G. Wee:::A Deformable Contour Method: Divide and Conquare Approach.
conf/bibe/AracenaLMCD00:::J. Aracena::S. Lamine::Marie-Ange Mermet::Olivier Cohen::Jacques Demongeot:::The genetic expressions and both chromosomic breakage and positive circuits.
conf/bibe/TangHWW00:::Yingjie Tang::Lei He::Xun Wang::William G. Wee:::A Model Based Contour Searching Method.
conf/bibe/WiseO01:::Michael J. Wise::A. Mark Osborn:::TRUFFLER: Programs to Study Microbial Community Composition and Flux from Fluorescent DNA Fingerprinting Data.
conf/bibe/BostonAS00:::J. R. Boston::James F. Antaki::Marwan A. Simaan:::Hierarchical Control for Artificial Hearts.
conf/bibe/WuZK03a:::Fang-Xiang Wu::Wen-Jun Zhang::Anthony J. Kusalik:::Determination of the Minimum Sample Size in Microarray Experiments to Cluster Genes Using K-means Clustering.
conf/bibe/JamilMT01:::Hasan M. Jamil::Giovanni A. Modica::Maria A. Teran:::Querying Phylogenies Visually.
conf/bibe/ParvinCFTHB00:::Bahram Parvin::Ge Cong::Gerald Fontenay::John R. Taylor::R. Henshal::Mary Helen Barcellos-Hoff:::BioSig: A Bioinformatic System for Studying the Mechanism of Intra-Cell Signaling.
conf/bibe/SaladiPM01:::Sagar Saladi::Pujita Pinnamaneni::Joerg Meyer:::Texture-Based 3-D Brain Imaging.
conf/bibe/KhanR03:::Nawaz Khan::Shahedur Rahma:::A New Approach to Detect Similar Proteins from 2D Gel.
conf/bibe/DingG01:::L. Ding::A. Ardeshir Goshtasby:::Registration of Multi-Modal Brain Images Using the Rigidity Constraint.
conf/bibe/Bansal01:::Arvind K. Bansal:::Integrating Co-Regulated Gene Groups and Pair-Wise Genome Comparisons to Automate Reconstruction of Microbial Pathways.
conf/bibe/HuangCS03:::Xin Huang::Shu-Ching Chen::Mei-Ling Shyu:::An Open Multiple Instance Learning Framework and Its Application in Drug Activity Prediction Problems.
conf/bibe/LiuSY03:::Yunlong Liu::Hui Bin Sun::Hiroki Yokota:::Regulating Gene Expression Using Optimal Control Theory.
conf/bibe/KagalwalaK00:::Farhana Kagalwala::Takeo Kanade:::Reconstructing Specimens using DIC Microscope Images.
conf/bibe/WilliamsM03:::Tiffani L. Williams::Bernard M. E. Moret:::An Investigation of Phylogenetic Likelihood Methods.
conf/bibe/Brandt01:::Michale E. Brandt:::Thinking Nonlinearly About Brain Dynamics: A neurocomentary.
conf/atal/BeerHS03:::Martin D. Beer::Richard Hill::Andrew Sixsmith:::Deploying an agent-based architecture for the management of community care.
conf/atal/MenczerSVMJ02:::Filippo Menczer::W. Nick Street::Narayan Vishwakarma::Alvaro E. Monge::Markus Jakobsson:::IntelliShopper: a proactive, personal, private shopping assistant.
conf/atal/Koriche97:::Frédéric Koriche:::Approximate Reasoning about Combined Knowledge.
conf/atal/ChownJH02:::Eric Chown::Randolph M. Jones::Amy E. Henninger:::An architecture for emotional decision-making agents.
conf/atal/ZhangLA03:::Xiaoqin Zhang::Victor R. Lesser::Sherief Abdallah:::Efficient ordering and parameterization of multi-linked negotiation.
conf/atal/BoellaT03:::Guido Boella::Leendert W. N. van der Torre:::Attributing mental attitudes to normative systems.
conf/atal/LarsonS02a:::Kate Larson::Tuomas Sandholm:::Bidders with hard valuation problems.
conf/atal/DragoniGS00:::Aldo Franco Dragoni::Paolo Giorgini::Luciano Serafini:::Updating Mental States from Communication.
conf/atal/BeerW02:::Martin D. Beer::Janice Whatley:::A multi-agent architecture to support synchronous collaborative learning in an international environment.
conf/atal/HoekL03:::Wiebe van der Hoek::Alessio Lomuscio:::Ignore at your peril - towards a logic for ignorance.
conf/atal/RosencrantzGT03:::Matthew Rosencrantz::Geoffrey Gordon::Sebastian Thrun:::Locating moving entities in indoor environments with teams of mobile robots.
conf/atal/JinL03:::Xiaolong Jin::Jiming Liu:::Agent network topology and complexity.
conf/atal/CostSLFMN97:::R. Scott Cost::Ian Soboroff::Jeegar Lakhani::Timothy W. Finin::Ethan L. Miller::Charles K. Nicholas:::TKQML: A Scripting Tool for Building Agents.
conf/atal/YuS03:::Bin Yu::Munindar P. Singh:::Searching social networks.
conf/atal/Zhu03:::Hong Zhu:::A formal specification language for agent-oriented software engineering.
conf/atal/LeeD97:::Jaeho Lee::Edmund H. Durfee:::On Explicit Plan Languages for Coordinating Multiagent Plan Execution.
conf/atal/LiL02a:::Tieyan Li::Kwok-Yan Lam:::Detecting anomalous agents in mobile agent system: a preliminary approach.
conf/atal/DolgovD02:::Dmitri A. Dolgov::Edmund H. Durfee:::Satisficing strategies for resource-limited policy search in dynamic environments.
conf/atal/BicchieriEA95:::Cristina Bicchieri::Eithan Ephrati::Gian Aldo Antonelli:::Games Servers Play: A Procedural Approach.
conf/atal/CranefieldNP02:::Stephen Cranefield::Mariusz Nowostawski::Martin K. Purvis:::Implementing agent communication languages directly from UML specifications.
conf/atal/CavazzaCM02:::Marc Cavazza::Fred Charles::Steven J. Mead:::Interacting with virtual characters in interactive storytelling.
conf/atal/KaminkaT97:::Gal A. Kaminka::Milind Tambe:::Social Comparison for Failure Detection and Recovery.
conf/atal/McGearyD03:::Foster McGeary::Keith Decker:::Simulation of economic actors using limitedly rational autonomous agents.
conf/atal/FatimaWJ03:::S. Shaheen Fatima::Michael Wooldridge::Nicholas R. Jennings:::Optimal agendas for multi-issue negotiation.
conf/atal/DignumDV00:::Frank Dignum::Barbara Dunin-Keplicz::Rineke Verbrugge:::Agent Theory for Team Formation by Dialogue.
conf/atal/MotaBML03:::Luís Mota::Luís Miguel Botelho::Hugo Mendes::António Lopes:::O3F: an object oriented ontology framework.
conf/atal/YuS02a:::Bin Yu::Munindar P. Singh:::An evidential model of distributed reputation management.
conf/atal/ChengLLORSW03:::Shih-Fen Cheng::Evan Leung::Kevin M. Lochner::Kevin O'Malley::Daniel M. Reeves::L. Julian Schvartzman::Michael P. Wellman:::Walverine: a Walrasian trading agent.
conf/atal/XingS03:::Jie Xing::Munindar P. Singh:::Engineering commitment-based multiagent systems: a temporal logic approach.
conf/atal/TambeR95:::Milind Tambe::Paul S. Rosenbloom:::Architectures for Agents that Track Other Agents in Multi-Agent Worlds.
conf/atal/Axtell02:::Robert L. Axtell:::Non-cooperative dynamics of multi-agent teams.
conf/atal/WhitesonS03:::Shimon Whiteson::Peter Stone:::Concurrent layered learning.
conf/atal/SchroederMP97:::Michael Schroeder::Iara de Almeida Móra::Luís Moniz Pereira:::A Deliberative and Reactive Diagnosis Agent Based on Logic Programming.
conf/atal/BarberL02:::K. Suzanne Barber::Dung N. Lam:::Architecting agents using core competencies.
conf/atal/BarberM00:::K. Suzanne Barber::Cheryl E. Martin:::Autonomy as Decision-Making Control.
conf/atal/DixKS02:::Jürgen Dix::Sarit Kraus::V. S. Subrahmanian:::Agents dealing with time and uncertainty.
conf/atal/ColombettiV02:::Marco Colombetti::Mario Verdicchio:::An analysis of agent speech acts as institutional actions.
conf/atal/ZhangXWW03:::Weixiong Zhang::Zhao Xing::Guandong Wang::Lars Wittenburg:::An analysis and application of distributed constraint satisfaction and optimization algorithms in sensor networks.
conf/atal/ArdissonoGP03:::Liliana Ardissono::Anna Goy::Giovanna Petrone:::Enabling conversations with web services.
conf/atal/Lesperance01:::Yves Lespérance:::On the Epistemic Feasibility of Plans in Multiagent Systems Specifications.
conf/atal/MazouziFH02:::Hamza Mazouzi::Amal El Fallah-Seghrouchni::Serge Haddad:::Open protocol design for complex interactions in multi-agent systems.
conf/atal/BurkeB02:::Robert C. Burke::Bruce Blumberg:::Using an ethologically-inspired model to learn apparent temporal causality for planning in synthetic creatures.
conf/atal/BretierS97:::Phillippe Bretier::M. David Sadek:::A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction.
conf/atal/Sandu97:::Gabriel Sandu:::Reasoning About Collective Goals.
conf/atal/BonassoKMS95:::R. Peter Bonasso::David Kortenkamp::David P. Miller::Marc G. Slack:::Experiences with an Architecture for Intelligent, Reactive Agents.
conf/atal/KinnyTGCM97:::David Kinny::Jan Treur::Les Gasser::Steve Clark::Jörg P. Müller:::Panel: Methodologies for Multi-Agent Systems.
conf/atal/BeyssadeEL95:::Claire Beyssade::Patrice Enjalbert::Claire Lefèvre:::Cooperating Logical Agents.
conf/atal/HerzigL02:::Andreas Herzig::Dominique Longin:::A logic of intention with cooperation principles and with assertive speech acts as communication primitives.
conf/atal/HuangSS02:::Pu Huang::Alan Scheller-Wolf::Katia P. Sycara:::A strategy-proof multiunit double auction mechanism.
conf/atal/Krogh95:::Christen Krogh:::The Rights of Agents.
conf/atal/Hunsberger01:::Luke Hunsberger:::Generating Bids for Group-Related Actions in the Context of Prior Commitments.
conf/atal/HaighPG02:::Karen Zita Haigh::John Phelps::Christopher W. Geib:::An open agent architecture for assisting elder independence.
conf/atal/Singh03:::Munindar P. Singh:::Distributed enactment of multiagent workflows: temporal logic for web service composition.
conf/atal/BartishT02:::Arran Bartish::Charles Thevathayan:::BDI agents for game development.
conf/atal/Castelfranchi00:::Cristiano Castelfranchi:::Again on Agents' Autonomy: A Homage to Alan Turing.
conf/atal/RyanS01:::Mark Ryan::Pierre-Yves Schobbens:::Agents and Roles: Refinement in Alternating-Time Temporal Logic.
conf/atal/HindriksBHM00:::Koen V. Hindriks::Frank S. de Boer::Wiebe van der Hoek::John-Jules Ch. Meyer:::Agent Programming with Declarative Goals.
conf/atal/WiesmanRV02:::Floris Wiesman::Nico Roos::Paul Vogt:::Automatic ontology mapping for agent communication.
conf/atal/GiunchigliaPS01:::Fausto Giunchiglia::Anna Perini::Fabrizio Sannicolò:::Knowledge Level Software Engineering.
conf/atal/Wooldridge97a:::Michael Wooldridge:::A Knowledge-Theoretic Semantics for Concurrent METATEM.
conf/atal/WooldridgeM98:::Michael Wooldridge::Jörg P. Müller:::A Classification Schema to Volumes 1 to 5 of the <i>Intelligent Agents</i> Series.
conf/atal/DuryBC98:::Arnaud Dury::Florence Le Ber::Vincent Chevrier:::A Reactive Approach for Solving Constraint Satisfaction Problems.
conf/atal/KarasavvasBB02:::Konstantinos Karasavvas::Richard A. Baldock::Albert Burger:::A multi-agent bioinformatics integration system with adjustable autonomy: an overview.
conf/atal/MassonetDN02:::Philippe Massonet::Yves Deville::Cédric Nève:::From AOSE methodology to agent implementation.
conf/atal/ZhangL02:::Xiaoqin Zhang::Victor R. Lesser:::Multi-linked negotiation in multi-agent systems.
conf/atal/CiancariniOZ99:::Paolo Ciancarini::Andrea Omicini::Franco Zambonelli:::Multiagent System Engineering: The Coordination Viewpoint.
conf/atal/FedorukD03:::Alan Fedoruk::Ralph Deters:::Using dynamic proxy agent replicate groups to improve fault-tolerance in multi-agent systems.
conf/atal/KnabeSF03:::Tore Knabe::Michael Schillo::Klaus Fischer:::Inter-organizational networks as patterns for self-organizing multiagent systems.
conf/atal/MarkopoulosK02:::Panos M. Markopoulos::Jeffrey O. Kephart:::How valuable are shopbots?
conf/atal/EstevaCS02:::Marc Esteva::David de la Cruz::Carles Sierra:::ISLANDER: an electronic institutions editor.
conf/atal/McBurneyPW02:::Peter McBurney::Simon Parsons::Michael Wooldridge:::Desiderata for agent argumentation protocols.
conf/atal/SakuraiY03:::Yuko Sakurai::Makoto Yokoo:::A false-name-proof double auction protocol for arbitrary evaluation values.
conf/atal/BrysonDDHW00:::Joanna Bryson::Keith Decker::Scott DeLoach::Michael N. Huhns::Michael Wooldridge:::Panel Summary: Agent Development Tools.
conf/atal/HugetW03:::Marc-Philippe Huget::Michael Wooldridge:::Model checking for ACL compliance verification.
conf/atal/HexmoorHMPS99:::Henry Hexmoor::Marcus Huber::Jörg P. Müller::John L. Pollock::Donald Steiner:::On The Evaluation of Agent Architectures.
conf/atal/CastelfranchiFP03:::Cristiano Castelfranchi::Rino Falcone::Giovanni Pezzulo:::Trust in information sources as a source for trust: a fuzzy approach.
conf/atal/ChaoSY02:::Tang Chao::Feng Shan::Simon X. Yang:::Modeling and design monitor agent using layered control architecture.
conf/atal/LaukkanenHL02:::Mikko Laukkanen::Heikki Helin::Heimo Laamanen:::Supporting nomadic agent-based applications in the FIPA agent architecture.
conf/atal/DixMNZ02:::Jürgen Dix::Hector Muñoz-Avila::Dana S. Nau::Lingling Zhang:::Planning in a multi-agent environment: theory and practice.
conf/atal/MaamarMM02:::Zakaria Maamar::Wathiq Mansoor::Qusay H. Mahmoud:::Software agents to support mobile services.
conf/atal/Muller97:::Jörg P. Müller:::A Cooperation Model for Autonomous Agents.
conf/asst/SchusslerD90:::Hans Wilhelm Schüßler::Y. Dong:::Messung und Modellierung von schwach nichtlinearen Systemen.
conf/asst/GuseG87:::Wolfgang Guse::Michael Gilge:::Ein modulares Multi-Signalprozessorsystem.
conf/asst/EnderK90:::Joachim Ender::Richard Klemm:::Festzielunterdrückungsfilter für bewegte Sensorgruppen - Auswirkungen suboptimaler Abtastung.
conf/asst/ButzerH87:::P. L. Butzer::G. Hinsen:::Nonuniform Sampling Expansions of Two-Dimensional Bandlimited Signals.
conf/asst/SchwarzmannSG87:::Peter Schwarzmann::B. Schorer::M. Griesinger:::Paßpunktfreie Justierung von Bildern.
conf/asst/HammerB87:::Bernard Hammer::Achim von Brandt:::Codierung von Videosequenzen mit niedriger Datenrate durch Vektorquantisierung und Bewegungskompensation.
conf/asst/BohlmannM87:::H. Bohlmann::P. Meissner:::Segmentierung und Vektorquantisierung von Bildsignalen auf der Grundlage eines Composite Source Modells.
conf/asst/Fettweis90:::Alfred Fettweis:::Numerische Integration partieller Differentialgleichungen mit Hilfe diskreter passiver dynamischer Systeme.
conf/asst/EiseleVA90:::Thomas Eisele::Martin Verlande::Walter Ameling:::Ein hierarchisches Multiprozessorsystem zur Normierung von Farbinfrarot-Luftbildern.
conf/asst/Dallas87:::William J. Dallas:::Medical Imaging.
conf/asst/KleinhempelB90:::W. Kleinhempel::Paul W. Baier:::Optimalemphänger für Digitalsignale bei Einwirken von Störsignalen mit statistischen Bindungen.
conf/asst/Fuhrmann90:::Gerd Fuhrmann:::Modellgestützte Rekonstruktion mit alternierenden orthogonalen Projektionen in der Mikrotomographie.
conf/asst/SekiyaWSK87:::Tomio Sekiya::Akira Watanabe::Masao Saito::Makoto Kikuchi:::2-D Vector Representation of Multi-Dimensional Symptom Space for Computer Aided Medical Diagnosis.
conf/asst/SchmidtZ87:::R. Schmidt::H. Zinner:::Navigation of an Airborne Vehicle by Model-Based Image Sequence Processing.
conf/atmn/FourneauMPV93:::Jean-Michel Fourneau::H. Maisonniaux::Nihal Pekergin::Véronique Vèque:::Performance Evaluation of Buffer Policies with Stochastic Automata Networks.
conf/atmn/RileyR94:::Martyn J. Riley::Iain E. Garden Richardson:::FEC and mutli-layer video coding for ATM networks.
conf/atmn/RaoBS95:::T. Srinivasa Rao::Sanjay K. Bose::K. R. Srivathsan:::Using maximum entropy principle for output burst characterization of an ATM switch.
conf/atmn/Skliros94:::Andreas Skliros:::Characterising the worst traffic profile passing through an ATM-UNI.
conf/atmn/SteyaertB94:::Bart Steyaert::Herwig Bruneel:::Accurate approximation of the cell loss ratio in ATM buffers with multiple servers.
conf/atmn/HalberstadtKG95:::S. Halberstadt::Daniel Kofman::Annie Gravey:::A congestion control mechanism for connectionless services offered by ATM networks.
conf/atmn/AtmacaM93:::Tülin Atmaca::Jon W. Mark:::Voice and Data Integration at an ATM Multiplexer.
conf/atmn/GelenbeMF95:::Erol Gelenbe::Xiaowen Mang::Yutao Feng:::A diffusion cell loss estimate for ATM with multiclass bursty traffic.
conf/atmn/DelaireH97:::Myriam Delaire::Gérard Hébuterne:::Call Blocking in Multi-Services Systems on One Transmission Link.
conf/caap/Arts96:::Thomas Arts:::Termination by Absence of Infinite Chains of Dependency Pairs.
conf/caap/Groote94:::Philippe de Groote:::A CPS-Translation of the Lambda-µ-Calculus.
conf/caap/Cardone92:::Felice Cardone:::An Algebraic Approach to the Interpretation of Recursive Types.
conf/caap/File86:::Gilberto Filé:::Classical and Incremental Evaluators for Attribute Grammars.
conf/caap/BergeronFS92:::François Bergeron::Philippe Flajolet::Bruno Salvy:::Varieties of Increasing Trees.
conf/caap/Lenisa96:::Marina Lenisa:::Final Semantics for a Higher Order Concurrent Language.
conf/caap/BestS83:::Eike Best::M. W. Shields:::Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets.
conf/caap/Peled94:::Doron Peled:::On Projective and Separable Properties.
conf/caap/CurienG90:::Pierre-Louis Curien::Giorgio Ghelli:::Coherence of Subsumption.
conf/caap/BarbaneraB92:::Franco Barbanera::Stefano Berardi:::A Constructive Valuation Interpretation for Classical Logic and its Use in Witness Extraction.
conf/caap/EngelfrietV84:::Joost Engelfriet::Heiko Vogler:::Regular Characterizations of Macro Tree Transducers.
conf/caap/Abramsky96:::Samson Abramsky:::Semantics of Interaction (Abstract).
conf/caap/MakedonPS83:::Fillia Makedon::Christos H. Papadimitriou::Ivan Hal Sudborough:::Topological Bandwidth.
conf/caap/RatoandromananaR94:::Bodonirina Ratoandromanana::Denis Robilliard:::Superposition in Picture Languages.
conf/caap/DershowitzZ84:::Nachum Dershowitz::Shmuel Zaks:::Patterns in Trees.
conf/caap/MichelS88:::Max Michel::Jean-Bernard Stefani:::Interval Logics and Sequential Transducers.
conf/caap/CournierH94:::Alain Cournier::Michel Habib:::A New Linear Algorithm for Modular Decomposition.
conf/caap/BonuccelliLLMP83:::Maurizio A. Bonuccelli::Elena Lodi::Fabrizio Luccio::Piero Maestrini::Linda Pagli:::VLSI Mesh of Trees for Data Base Processing.
conf/caap/Parisi-Presicce86:::Francesco Parisi-Presicce:::Inner and Mutual Compatibility of Basic Operations on Module Specifications.
conf/caap/Lautemann88:::Clemens Lautemann:::Decomposition Trees: Structured Graph Representation and Efficient Algorithms.
conf/caap/PelinG86:::Alex Pelin::Jean H. Gallier:::Exact Computation Sequences.
conf/caap/ClarkeBK90:::Edmund M. Clarke::I. A. Browne::Robert P. Kurshan:::A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.
conf/caap/Kounalis90:::Emmanuel Kounalis:::Testing for Inductive (Co)-Reducibility.
conf/caap/FagesH83:::François Fages::Gérard P. Huet:::Complete Sets of Unifiers and Matchers in Equational Theories.
conf/caap/HuizingGR88:::Cornelis Huizing::Rob Gerth::Willem P. de Roever:::Modeling Statecharts Behaviour in a Fully Abstract Way.
conf/caap/Koivola96:::Roope Koivola:::Axiomatising Extended Computation Tree Logic.
conf/caap/Ohlebusch94:::Enno Ohlebusch:::On the Modularity of Confluence of Constructor-Sharing Term Rewriting Systems.
conf/caap/RambowS94:::Owen Rambow::Giorgio Satta:::A Rank Hierarchy for Determinsitic Tree-Walking Transducers.
conf/caap/VergauwenL92:::Bart Vergauwen::Johan Lewi:::A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.
conf/cade/Chen92:::Wilfred Z. Chen:::Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic.
conf/cade/Hines92:::Larry M. Hines:::The Central Variable Strategy of Str+ve.
conf/cade/GuoNW96:::Qing Guo::Paliath Narendran::David A. Wolfram:::Unification and Matching Modulo Nilpotence.
conf/cade/BeierleOV86:::Christoph Beierle::Walter G. Olthoff::Angi Voß:::Automatic Theorem Proving in the ISDV System.
conf/cade/ZhangKK88:::Hantao Zhang::Deepak Kapur::Mukkai S. Krishnamoorthy:::A Mechanizable Induction Principle for Equational Specifications.
conf/cade/Plaisted86a:::David A. Plaisted:::Abstraction Using Generalization Functions.
conf/cade/ButlerLO88:::Ralph Butler::Rasiah Loganantharaj::Robert Olsen:::Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine.
conf/cade/Hussmann86:::Heinrich Hußmann:::The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing.
conf/cade/ParkG96:::Tai Joon Park::Allen Van Gelder:::Partitioning Methods for Satisfiability Testing on Large Formulas.
conf/cade/Lim86:::Younghwan Lim:::The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution.
conf/cade/Wos92:::Larry Wos:::The Impossibility of the Automation of Logical Reasoning.
conf/cade/AndrewsINP88:::Peter B. Andrews::Sunil Issar::Daniel Nesmith::Frank Pfenning:::The TPS Theorem Proving System.
conf/cade/Kafl86:::Thomas Käufl:::Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities.
conf/cade/Kafl88:::Thomas Käufl:::Reasoning about Systems of Linear Inequalities.
conf/cade/AvenhausL01:::Jürgen Avenhaus::Bernd Löchner:::CCE: Testing Ground Joinability.
conf/cade/Ohlbach88:::Hans Jürgen Ohlbach:::A Resolution Calculus for Modal Logics.
conf/cade/Bibel90:::Wolfgang Bibel:::Perspectives on Automated Deduction (Abstract).
conf/cade/GanzingerNN01:::Harald Ganzinger::Robert Nieuwenhuis::Pilar Nivela:::Context Trees.
conf/cade/Fisher92:::Michael Fisher:::A Normal Form for First-Order Temporal Formulae.
conf/cade/ChouGZ96:::Shang-Ching Chou::Xiao-Shan Gao::Jing-Zhong Zhang:::An Introduction to Geometry Expert.
conf/cade/McPheeCG94:::Nicholas Freitag McPhee::Shang-Ching Chou::Xiao-Shan Gao:::Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method.
conf/cade/Morgan86:::Charles G. Morgan:::AUTOLOGIC at University of Victoria.
conf/cade/Sofronie-Stokkermans00:::Viorica Sofronie-Stokkermans:::On Unification for Bonded Distributive Lattices.
conf/cade/ShostakSM82:::Robert E. Shostak::Richard L. Schwartz::P. M. Melliar-Smith:::STP: A Mechanized Logic for Specification and Verification.
conf/cade/Waldinger90:::Richard J. Waldinger:::Tutorial on Program-Synthetic Deduction.
conf/cade/Slaney94:::John K. Slaney:::The Crisis in Finite Mathematics: Automated Reasoning as Cause and Cure.
conf/cade/Slaney97:::John K. Slaney:::Minlog: A Minimal Logic Theorem Prover.
conf/cade/Satz90:::Ronald W. Satz:::EXPERT THINKER: An Adaptation of F-Prolog to Microcomputers.
conf/cade/Miller84:::Dale Miller:::Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs.
conf/cade/Anderson94:::Penny Anderson:::Representing Proof Transformations for Program Optimizations.
conf/cade/CostaHLS90:::Newton C. A. da Costa::Lawrence J. Henschen::James J. Lu::V. S. Subrahmanian:::Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.
conf/cade/ChouG92:::Shang-Ching Chou::Xiao-Shan Gao:::Proving Geometry Statements of Constructive Type.
conf/cade/McCuneS00:::William McCune::Olga Shumsky:::System Description: IVY.
conf/cade/JouannaudM84:::Jean-Pierre Jouannaud::Miguel Munoz:::Termination of a Set of Rules Modulo a Set of Equations.
conf/cade/NiehrenPR97:::Joachim Niehren::Manfred Pinkal::Peter Ruhrberg:::On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.
conf/cade/Caferra82:::Ricardo Caferra:::Proof by Matrix Reduction as Plan + Validation.
conf/cade/Pfenning94:::Frank Pfenning:::Elf: A Meta-Language for Deductive Systems (System Descrition).
conf/cade/BrauburgerG98:::Jürgen Brauburger::Jürgen Giesl:::Termination Analysis by Inductive Evaluation.
conf/cade/WeidenbachBHKTT02:::Christoph Weidenbach::Uwe Brahm::Thomas Hillenbrand::Enno Keen::Christian Theobald::Dalibor Topic:::S PASS Version 2.0.
conf/cade/PotterP88:::Richard C. Potter::David A. Plaisted:::Term Rewriting: Some Experimental Results.
conf/cade/JacksonP90:::Peter Jackson::John Pais:::Computing Prime Implicants.
conf/cade/Jones01:::Neil D. Jones:::Program Termination Analysis by Size-Change Graphs (Abstract).
conf/cade/NivelleP01:::Hans de Nivelle::Ian Pratt-Hartmann:::A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.
conf/cade/Lescanne90:::Pierre Lescanne:::ORME: An Implementation of Completion Procedures as Sets of Transition Rules.
