Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Vesselin Zaimov |
Applying Fast Optimization Methods for Supervised Learning in Freeforward Neural Networks. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Lydia Sinapova, Zdravko Markov |
Grammar Representation and Parsing in a Data-Driven Logic Programming Environment. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Igor Kononenko 0001 |
Combining Decisions of Multiple Rules. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Xiaorong Huang |
Applications of Assertions as Elementary Tactics in Proof Planning. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Boiko M. Balev, Dimitar P. Dimitrov |
Towards an Application if Intelligent Image Analysis System to Robotic Fettling of Castings. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
A Knowledge Based System for Automatic 3D Scene. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Evgueni N. Smirnov |
Space Fragmenting - A Method of Disjunctive Concept Acquisition. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Alexander Roussekov |
An Expert System for Resource Estimation and Cost Analysis. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Philippe Besnard, Robert E. Mercer |
Non-Monotonic Logics: A Valuations-Based Approach. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Stefan Trausan-Matu, Mihai Barbuceanu, Gheorghe Ghiculete |
COPE - A Flexible Constraint-Based Programming System for Knowledge Processing. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Irene Pimenta Rodrigues, José Gabriel Pereira Lopes |
A System for Text Temporal Information Retrieval. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Nikola K. Kasabov, Daniel Nikovski |
Prognostic Expert Systems on a Hybrid Connectionist Environment. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Harry Vassilev |
Meta Theory as a Tool for Integration and Control. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Bernhard Kipper |
MODALYS - A System for the Semantic-Pragmatic Analysis of Modal Verbs. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Grigoris Antoniou |
Logical Approaches to Structured Knowledge Bases. |
AIMSA |
1992 |
DBLP BibTeX RDF |
|
12 | Richard Marciano, Teodor Rus |
Algebraic Construction of Program Representation Graphs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Heinrich Hussmann |
A Case Study Towards Algebraic Verification of Code. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Neil D. Jones |
Efficient Algebraic Operations on Programs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | John Knaack, Teodor Rus |
TwoLev: A Two Level Scanner. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Pierre-Yves Schobbens |
Clean Algebraic Exception with Implicit Propagation. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Henk Eertink |
Tools for Algebraic Distributed System Design. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Francesco Parisi-Presicce |
On the Reusability of Specifications and Implementations. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Carolyn L. Talcott |
Towards a Theory of Binding Structures: An Abstract Algebra. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Hantao Zhang 0001, Angshuman Guha, Xin Hua |
Using Algebraic Specification in Floyd-Hoare Assertions. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | G. Ramalingam, Thomas W. Reps |
Modification Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Werner Fey |
ACT TWO: An Algebraic Module Specification and Interconnection Language. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | André Arnold |
MEC: A System for Constructing and Analysis Transition Systems. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio |
Algebraic Specification at Work. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Maria Zamfir Bleyberg |
Modeling Concurrency with AND/OR Algebraic Theories. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Muffy Thomas, Phil Watson |
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Scott F. Smith 0001 |
Extracting Recursive Programs in Type Theory. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Val Breazu-Tannen, Ramesh Subrahmanyam |
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Didier Bert, Christine Lafontaine |
Integration of Semantical Verification Conditions in a Specification Language Definition. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | G. Steve Hirst, T. B. Dinesh |
The Combination of Specifications and the Induced Relations in Object Oriented Programs. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Huajun Qin, Philip Lewis |
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | David Eichmann |
Selecting Reusable Components Using Algebraic Specifications. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Yellamraju V. Srinivas |
Pattern Matching: A Sheaf-Theoretic Approach. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Emmanuel Kounalis, Michaël Rusinowitch |
Studies on the Ground Convergence Property of Conditional Theories. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude |
Polynomial Relators (Extended Abstract). |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor |
The PROSPECTRA System: A Unified Development Framework. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Jiazhen Cai, Robert Paige |
Language Polynomial in the Input Plus Output. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Irène Guessarian |
About Algebras, Fixpoints and Semantics. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Vaughan R. Pratt |
Event Spaces and their Linear Logic. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas |
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Gil Zvi Deutsch, S. Kaplan |
Algebraic Semantics of Real-Time Process Specifications. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Emma van der Meulen |
Deriving Incremental Implementations from Algebraic. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Daniela Rus |
A Framework for Dexterous Manipulation using Lie Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Kevin Lano, Howard P. Haughton |
An Algebraic Semantics for the Specification Language Z++. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Gilles Bernot, Marie-Claude Gaudel, Bruno Marre |
A Formal Approach to Software Testing. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Ryszard Janicki, Maciej Koutny |
Structure of Concurrency. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Gilles Bernot, Michel Bidoit |
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Aurel Cornell |
Type Consistency Checking for Concurrent Independent Processes. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Paola Inverardi, Monica Nesi |
On Rewriting Behavioral Semantics in Process Algebras. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
12 | Philippe Jorrand, Vassil Stoyanov Sgurev (eds.) |
Artificial Intelligence IV: Methodology, Systems, Applications - Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1990, Albena, Bulgaria, September 19-22, 1990 |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Hans Jürgen Ohlbach |
Compilation of Recursive Two-Literal Clauses into Unification Algorithms. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Hans-Joachim Goltz |
A Practicable Approach to Functional Logic Programming. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Nikola K. Kasabov |
Hybrid Connectionist Rule-Based Systems. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Nikolai G. Fedotov, Michael E. Larin |
Computer Vision and Stochastic Geometry. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Ruslan Mitkov, Galya Simeonova |
Some Linguistic and Conceptual Aspects in the Generation of Bulgarian Natural Language Text. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Ivan H. Chernev, Danail Dochev |
Modelling of Medical Diagnostic Knowledge and Reasoning in DEDEX Expert System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Isabelle Robba |
Analogical Reasoning and Sentence Parsing. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Jürgen Allgayer, Carola Reddig |
What's in a 'DET'? Steps towards Determiner-Dependent Inferencing. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Giacomo Ferrari, Irina Prodanof, Ronan Reilly, Alessandro Saffiotti |
Dialogue Modeling and Response Generation in CFID, a Robust Man-Machine Interface System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | R. O. Lindsay, A. G. Priest |
On the Use of Diagrams. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Yves Moinard, Raymond Rolland |
Unexpected and Unwanted Results of Circumscription. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Sabine Letellier, Jean Pierre Fournier |
How to Deal Intelligently with Unexpected? |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Philippe Besnard |
Logics for Automated Reasoning in the Presence of Contradictions. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Luis Fariñas del Cerro, Martti Penttonen |
Logics with Structured Contexts. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Yuri P. Serdyuk |
Occam Based Neural Network Description Language. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Camelia Voinea |
Number Generalization in Learning from Examples. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Michel Aurnague, Mario Borillo |
A Formal Semantics for Internal Localization: an Essay on Spatial Commonsense Knowledge. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Allan Ramsay |
Speech Act Therory and Epistemic Planning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Thierry Boy de la Tour, Gilles Chaminade |
The Use of Renaming to Improve the Effeciency of Clausal Theorem Proving. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Jean-Marc Boï, Antoine Rauzy |
Two Algorithms for Constraint Systems Solving in Propositional Calculus and their Implementation in Constraint Programming Languages. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | David S. Young |
Quantitative Ecological Optics. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Mounira Belmesk |
A Compiling Approach for Exploiting AND/OR Parallelism in Logic Programs. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Gregor Erbach |
Syntactic Processing of Unknown Words. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Mare Koit, Haldur Oim |
An Approach to the Modelling of Natural Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Vladimir Simov Jotsov |
Defeasible Reasoning by Using Analogies. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Elmar Eder, Yan Liu |
Rule-Based Mechanism for Constraint Checking in Logic Programs. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Peter Baumgartner 0001 |
Combining Horn Clause Logic with Rewrite Rules. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Ricardo Caferra, Nicolas Zabel |
An Application of Many-Valued Logic to Decide Propositional S5 Formulae: A Strategy Designed for a Parameterized Tableaux-Based Theorem Prover. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Zdravko Markov, Christo Dichev |
Logical Inference in a Network Environment. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Laurence Cholvy |
Querying an Inconstistent Database. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Jean-Louis Imbert |
About Redundant Inequalities Generated by Fourier's Algorithm. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Boiko M. Balev, George I. Sharkov |
Knoweldge-Based Interpretation of Biophysical Images. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Georgi Simov |
Solving Program Configuration Task through a Knowledge Based System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Ilia Iv. Dimitrov |
A Systems-Based Framework for Knowledge Representation. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Lydia Sinapova |
A Network Parsing Scheme. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Arnulfo P. Azcarraga, Bernard Amy |
Kohonen Feature Maps: Toward Invariant Character Recognition. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Slawomir T. Wierzchon, A. Pacan, Mieczyslaw A. Klopotek |
An Object-Oriented Representation Framework for Hierarchical Evidential Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Bernard Migault, François Rousselot, Bernard Keith |
Developing a Knowledge Based System. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Tzvetan T. Drashansky, Atanas Radensky |
Parallelism in Backus-like FP-Systems: An Approach Based on the FP2 Language. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Ivan Popchev, Neli Zlatareva, Marion Mircheva |
A Logic for Truth Maintenance Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Fabrizio Sebastiani 0001 |
A Proof-Theoretic Account of Model-Preference Default Reasoning. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Stéphane Grandcolas |
Equations over Trees and Lists with Constraints. |
AIMSA |
1990 |
DBLP BibTeX RDF |
|
12 | Tim O'Shea, Vassil Stoyanov Sgurev (eds.) |
Artificial Intelligence III: Methodology, Systems, Applications - Proceedings of the Third International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA 1988, Varna, Bulgaria, September 20-23, 1988 |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
12 | Zdravko Markov, Th. Risse |
Prolog Based Graph Representation of Polyhedra. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
12 | Ivan Popchev, I. Popov, Vasil Vasilev, V. Tadjer, G. Simov, Vesselin Bontchev |
EXTRACT: Integration of Factual and Procedural Descriptions through Object-Oriented Programming. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|
12 | Jean-Paul Arcangeli, Christian Pomian |
Plasma Pattern Compilation: a Formal Model and Some Examples. |
AIMSA |
1988 |
DBLP BibTeX RDF |
|