Search results for "methodology"

Hits ?▲	Authors	Title	Venue	Year	Link
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