Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Cheng Hian Goh, Stéphane Bressan, Stuart E. Madnick, Michael D. Siegel	Context Interchange: New Features and Formalisms for the Intelligent Integration of Information.	ACM Trans. Inf. Syst.	1999	DBLP DOI BibTeX RDF	information integration, mediators, semantic interoperability, semantic heterogeneity, abductive reasoning
17	Diego Calvanese, Maurizio Lenzerini, Daniele Nardi	Unifying Class-Based Representation Formalisms.	J. Artif. Intell. Res.	1999	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Julia Padberg, Fernando Orejas	From Basic Views and Aspects to Integration of Specification Formalisms.	Bull. EATCS	1999	DBLP BibTeX RDF
17	Georg Gottlob, Nicola Leone, Helmut Veith	Succinctness as a Source of Complexity in Logical Formalisms.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
17	Michael J. Maher	Adding Constraints to Logic-based Formalisms.	The Logic Programming Paradigm	1999	DBLP DOI BibTeX RDF
17	Sandrine Balbo, Cécile Paris, Nadine Ozkan	Characterizating Task Formalisms: towards a Taxonomy.	ECOOP Workshops	1999	DBLP BibTeX RDF
17	Shuly Wintner	Compositional Semantics for Linguistic Formalisms.	ACL	1999	DBLP BibTeX RDF
17	Alexander Moshe Rabinovich	On the Decidability of Continuous Time Specification Formalisms.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
17	Radu Grosu, Gheorghe Stefanescu, Manfred Broy	Visual Formalisms Revisited.	ACSD	1998	DBLP DOI BibTeX RDF
17	Nikos S. Voros, S. K. Tsasakou, C. Valderrama, S. Arab, Alexios N. Birbas, Michael K. Birbas, Evaggelinos P. Mariatos, A. Andritsou	Hardware - Software Co-design of embedded telecommunication systems using multiple formalisms for application development.	FORTE	1998	DBLP BibTeX RDF
17	Owen Rambow, K. Vijay-Shanker	Wh-islands in TAG and related formalisms.	TAG+	1998	DBLP BibTeX RDF
17	Pierre Boullier	A generalization of mildly context-sensitive formalisms.	TAG+	1998	DBLP BibTeX RDF
17	Johannes Helbig	Linking visual formalisms: a compositional proof system for statecharts based on symbolic timing diagrams.		1998	RDF
17	Mark d'Inverno, Michael Fisher 0001, Alessio Lomuscio, Michael Luck, Maarten de Rijke, Mark Ryan 0001, Michael J. Wooldridge	Formalisms for multi-agent systems.	Knowl. Eng. Rev.	1997	DBLP DOI BibTeX RDF
17	Richard Banach, George A. Papadopoulos	A study of two graph rewriting formalisms: Interaction Nets and MONSTR.	J. Program. Lang.	1997	DBLP BibTeX RDF
17	Ephraim Nissan, Daniel Rousseau	Towards AI Formalisms for Legal Evidence.	ISMIS	1997	DBLP DOI BibTeX RDF
17	Rémi Bastide, Didier Buchs	Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop).	ECOOP Workshops	1997	DBLP BibTeX RDF
17	Mark W. Davis	Complexity Formalisms, Order and Disorder in the Structure of Art.	Evolutionary Programming	1997	DBLP DOI BibTeX RDF
17	Rodion M. Podorozhny, Leon J. Osterweil	The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.	ICSE	1997	DBLP DOI BibTeX RDF	base framework, process formalism, software process, comparison, software development methodology
17	George Anton Kiraz	Compiling Regular Formalisms with Rule Features into Finite-State Automata.	ACL	1997	DBLP BibTeX RDF
17	Salem Benferhat, Didier Dubois, Henri Prade	Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic Analysis.	ECAI	1996	DBLP BibTeX RDF
17	Kerstin Fischer	Distributed Representation Formalisms for Discourse Particles.	KONVENS	1996	DBLP BibTeX RDF
17	Franz J. Rammig	Beyond VHDL: textual formalisms, visual techniques, or both?	EURO-DAC	1996	DBLP DOI BibTeX RDF
17	Alioune Diagne, Fabrice Kordon	A multi formalisms prototyping approach from formal description to implementation of distributed systems.	RSP	1996	DBLP DOI BibTeX RDF
17	Paul Schmidt, Axel Theofilidis, Sibylle Rieder, Thierry Declerck	Lean Formalisms, Linguistic Theory and Applications. Grammar Development in ALEP.	COLING	1996	DBLP BibTeX RDF
17	James Kilbury	Top-Down Predictive Linking and Complex-Feature-Based Formalisms.	COLING	1996	DBLP BibTeX RDF
17	Georg Gottlob	Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).	KR	1996	DBLP BibTeX RDF
17	Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf	Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.	KR	1996	DBLP BibTeX RDF
17	Klaus Schneider 0001, Thomas Kropf	A Unified Approach for Combining Different Formalisms for Hardware Verification.	FMCAD	1996	DBLP DOI BibTeX RDF
17	Krishnaprasad Thirunarayan	On the relationship between annotated logic programs and nonmonotonic formalisms.	J. Exp. Theor. Artif. Intell.	1995	DBLP DOI BibTeX RDF
17	Christer Bäckström	Expressive Equivalence of Planning Formalisms.	Artif. Intell.	1995	DBLP DOI BibTeX RDF
17	Lena Strömbäck	User-Defined Nonmonotonicity in Unification-Based Formalisms	CoRR	1995	DBLP BibTeX RDF
17	Young-Gul Kim, Salvatore T. March	Comparing Data Modeling Formalisms.	Commun. ACM	1995	DBLP DOI BibTeX RDF
17	Lawrence S. Moss, David E. Johnson 0002	Dynamic Interpretations of Constraint-Based Grammar Formalisms.	J. Log. Lang. Inf.	1995	DBLP DOI BibTeX RDF
17	Franz Baader, Bernhard Hollunder	Embedding Defaults into Terminological Knowledge Representation Formalisms.	J. Autom. Reason.	1995	DBLP DOI BibTeX RDF
17	Fairouz Kamareddine	Important Issues in Foundational Formalisms.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
17	Mary Shaw, David Garlan	Formulations and Formalisms in Software Architecture.	Computer Science Today	1995	DBLP DOI BibTeX RDF
17	Francesco Buccafurri	Ordered Logic and its Relationships to other Logic Programming Formalisms.	GULP-PRODE	1995	DBLP BibTeX RDF
17	Philippe Brun, Michel Beaudouin-Lafon	A Taxonomy and Evaluation of Formalisms for the Specification of Interactive Systems.	BCS HCI	1995	DBLP BibTeX RDF
17	José Luiz Fiadeiro, T. S. E. Maibaum	Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF	general systems theory, multiperspective specification, formal methods, reuse, compositionality, incremental development
17	Hans-Ulrich Krieger, Ulrich Schäfer	Efficient Parameterizable Type Expansion for Typed Feature Formalisms.	IJCAI	1995	DBLP BibTeX RDF
17	Lena Strömbäck	User-Defined Nonmonotonicity in Unification-Based Formalisms.	ACL	1995	DBLP BibTeX RDF
17	Martin Buchheit	Terminological formalisms in knowledge representation and database systems.		1995	RDF
17	Ram Ramesh, Andrew B. Whinston	Claims, Arguments, and Decisions: Formalisms for Representation, Gaming, and Coordination.	Inf. Syst. Res.	1994	DBLP DOI BibTeX RDF
17	Werner Damm, Johannes Helbig	Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.	PROCOMET	1994	DBLP BibTeX RDF
17	Marie-Christine Rousset	Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms.	ECAI	1994	DBLP BibTeX RDF
17	Gertjan van Heijst, Wilfried Post, Guus Schreiber	Knowledge Based Integration of Representation Formalisms.	ECAI	1994	DBLP BibTeX RDF
17	Lena Strömbäck	Achieving Flexibility In Unification Formalisms.	COLING	1994	DBLP BibTeX RDF
17	Diego Calvanese, Maurizio Lenzerini, Daniele Nardi	A Unified Framework for Class-Based Representation Formalisms.	KR	1994	DBLP BibTeX RDF
17	Michael D. Harrison	Working Group Discussions: Role of Formalisms.	DSV-IS	1994	DBLP BibTeX RDF
17	Michael D. Harrison, David J. Duke	A Review of Formalisms for Describing Interactive Behaviour.	ICSE Workshop on SE-HCI	1994	DBLP DOI BibTeX RDF
17	Christopher N. Carlson	Discussion: Design space description formalisms.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
17	George T. Heineman	Automatic translation of process modeling formalisms.	CASCON	1994	DBLP BibTeX RDF
17	Nelson Correa	Attribute and Unification Grammar: A Review and Analysis of Formalisms.	Ann. Math. Artif. Intell.	1993	DBLP DOI BibTeX RDF
17	K. Vijay-Shanker, David J. Weir	Parsing Some Constrained Grammar Formalisms.	Comput. Linguistics	1993	DBLP BibTeX RDF
17	Bonnie A. Nardi, Craig L. Zarmer	Beyond Models and Metaphors: Visual Formalisms in User Interface Design.	J. Vis. Lang. Comput.	1993	DBLP DOI BibTeX RDF
17	Pasquale Armenise, Sergio Bandinelli, Carlo Ghezzi, Angelo Morzenti	A Survey and Assessment of Software Process Representation Formalisms.	Int. J. Softw. Eng. Knowl. Eng.	1993	DBLP DOI BibTeX RDF
17	Lidia Moreno, Manuel Palomar, Antonio Molina	The Incorporation of Logic Formalisms to Natural Language Through Logic Programming.	ILPS	1993	DBLP BibTeX RDF
17	Neville Moray	Formalisms for Cognitive Modeling.	HCI (1)	1993	DBLP BibTeX RDF
17	Simon Parsons, Alessandro Saffiotti	Integrating Uncertainty Handling Formalisms in Distributed Artificial Intelligence.	ECSQARU	1993	DBLP DOI BibTeX RDF
17	David Pearce 0001	Answer Sets and Constructive Logic, II: Extended Logic Programs and Related Nonmonotonic Formalisms.	LPNMR	1993	DBLP BibTeX RDF
17	Hans-Ulrich Krieger	Typed Feature Formalisms as a Common Basis for Linguistic Specification.	EAMT Workshop	1993	DBLP DOI BibTeX RDF
17	Gerd G. Hillebrand, Paris C. Kanellakis, Sridhar Ramaswamy	Functional Programming Formalisms for OODBMS Methods.	NATO ASI OODBS	1993	DBLP BibTeX RDF
17	Alfonso Fuggetta, Carlo Ghezzi	Process Formalisms Need to be Fully Reflective.	ISPW	1993	DBLP BibTeX RDF
17	Carlo Ghezzi, Mauro Pezzè	Towards Extensible Graphical Formalisms.	IWSSD	1993	DBLP BibTeX RDF
17	Didier Dubois, Henri Prade	Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework.	IJCAI	1993	DBLP BibTeX RDF
17	George W. Cherry	Graphic formalisms should integrate communication, control, and data flow.	ACM SIGSOFT Softw. Eng. Notes	1992	DBLP DOI BibTeX RDF
17	Rémi Zajac	Inheritance and Constraint-Based Grammar Formalisms.	Comput. Linguistics	1992	DBLP BibTeX RDF
17	Stuart M. Shieber	Constraint-based grammar formalisms - parsing and type inference for natural and computer languages.		1992	RDF
17	Franz Baader, Bernhard Hollunder	Embedding Defaults into Terminological Knowledge Representation Formalisms.	KR	1992	DBLP BibTeX RDF
17	Tova Milo	Formalisms for describing object oriented databases (פורמליזמים לתאור מסדי נתונים מנחי עצמים.).		1992	RDF
17	Bernhard Nebel, Gert Smolka	Attribute Description Formalisms ... and the Rest of the World.	Text Understanding in LILOG	1991	DBLP DOI BibTeX RDF
17	Sandeep Gulati, Jacob Barhen, S. Sitharama Iyengar	Neurocomputing Formalisms for Computational Learning and Machine Intelligence.	Adv. Comput.	1991	DBLP DOI BibTeX RDF
17	Doug Arnold, Louisa Sadler	Transfer formalisms.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	cornpositionality, Dutch, formalism, constructivism, transfer, English
17	Teodor C. Przymusinski	Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs.	Artif. Intell.	1991	DBLP DOI BibTeX RDF
17	Rolf Backofen, Harald Trost, Hans Uszkoreit	Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends.	Wissensbasierte Systeme	1991	DBLP DOI BibTeX RDF
17	Shmuel Sagiv	High level formalisms for program flow analysis and their use in compiling.		1991	RDF
17	Léa Sombé	Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example.	Int. J. Intell. Syst.	1990	DBLP DOI BibTeX RDF
17	Léa Sombé	Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example.	Int. J. Intell. Syst.	1990	DBLP DOI BibTeX RDF
17	Léa Sombé	Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example.	Int. J. Intell. Syst.	1990	DBLP DOI BibTeX RDF
17	Antonio Camurri, Paolo Franchi	An approach to the design and implementation of the hierarchical control system of FMS, combining structured knowledge representation formalisms and high-level Petri nets.	ICRA	1990	DBLP DOI BibTeX RDF
17	J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg (eds.)	Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings	REX Workshop	1990	DBLP DOI BibTeX RDF
17	Teodor C. Przymusinski	Three-Valued Non-Monotonic Formalisms and Semantics of Logic Programs.	LPNMR	1990	DBLP BibTeX RDF
17	Alexis Manaster-Ramer, Wlodek Zadrozny	Expressive Power of Grammatical Formalisms.	COLING	1990	DBLP BibTeX RDF
17	Paula S. Newman	Towards Convenient Bi-Directional Grammar Formalisms.	COLING	1990	DBLP BibTeX RDF
17	Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno	OSI Testing Environment Based on the Standardized Formalisms.	FORTE	1990	DBLP BibTeX RDF
17	Françoise Darses	Constraints in design: Towards a methodology of psychological analysis based on AI formalisms.	INTERACT	1990	DBLP BibTeX RDF
17	Teodor C. Przymusinski	Non-Monotonic Formalisms and Logic Programming.	ICLP	1989	DBLP BibTeX RDF
17	Marc Moens, Jonathan Calder, Ewan Klein, Mike Reape, Henk Zeevat	Expressing generalizations in unification-based grammar formalisms.	EACL	1989	DBLP BibTeX RDF
17	Yusoff Zaharin	On Formalisms And Analysis, Generation And Synthesis In Machine Translation.	EACL	1989	DBLP BibTeX RDF
17	Heikki Hyötyniemi, Aarno Lehtola	A metatool for implementing task-oriented formalisms.	TAI	1989	DBLP DOI BibTeX RDF
17	Stephen H. Muggleton, Michael Bain 0001, Jean Hayes Michie, Donald Michie	An Experimental Comparison of Human and Machine Learning Formalisms.	ML	1989	DBLP BibTeX RDF
17	Stuart M. Shieber, Gertjan van Noord, Robert C. Moore, Fernando C. N. Pereira	A Semantic-Head-Driven Generation Algorithm for Unification-Based Formalisms.	ACL	1989	DBLP BibTeX RDF
17	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
17	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
17	Howard Barringer, Michael Fisher 0001, Dov M. Gabbay, Graham Gough, Richard Owens	METATEM: A Framework for Programming in Temporal Logic.	REX Workshop	1989	DBLP DOI BibTeX RDF	Non-procedural Languages, Verification, Specification, Logic Programming, Prototyping, Synthesis, Reactive Systems, Rule-based Systems, Mechanical Verification, Modal and Temporal Logics
17	A. Udaya Shankar, Simon S. Lam	Construction of Network Protocols by Stepwise Refinement.	REX Workshop	1989	DBLP DOI BibTeX RDF	distributed systems, Specification, refinement, transport protocols, sliding window protocols
17	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
17	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
17	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System