Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Annelise Bech, Bente Maegaard, Anders Nygaard	The Eurotra MT formalism.	Mach. Transl.	1991	DBLP DOI BibTeX RDF	Eurotra, MT formalisms
25	Marc Eisenstadt, John Domingue, Tim Rajan, Enrico Motta	Visual Knowledge Engineering.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	visual knowledge engineering, knowledge encoding, knowledge representation formalisms, large-scale debugging, graphical rule traces, complementary visual programming, KEATS, hypertext transcript analyzer, direct graph manipulation sketchpad, dependency viewers, logical rule dependencies, programming environments, knowledge acquisition, visual programming, knowledge engineering, program visualization, software environment
24	Leon J. Osterweil	Formalisms to Support the Definition of Processes.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	processes, process language, process definition
24	David Harel, Michal Gordon-Kiwkowitz	On Teaching Visual Formalisms.	IEEE Softw.	2009	DBLP DOI BibTeX RDF
24	Daniel Machado, Rafael S. Costa, Miguel Rocha 0001, Isabel Rocha, Bruce Tidor, Eugénio C. Ferreira	A Critical Review on Modelling Formalisms and Simulation Tools in Computational Biosystems.	IWANN (2)	2009	DBLP DOI BibTeX RDF
24	Jesús Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez 0001, Camilo Rueda, Mauricio Toro, Frank D. Valencia	An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.	ICLP	2009	DBLP DOI BibTeX RDF
24	Maja Milicic	Complexity of Planning in Action Formalisms Based on Description Logics.	LPAR	2007	DBLP DOI BibTeX RDF
24	Matthew Easley, Elizabeth Bradley	Incorporating Engineering Formalisms into Automated Model Builders.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
24	Kenneth Webb, Tony White	Cell modeling with reusable agent-based formalisms.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Architectural reuse, Agent-based modeling, Cell simulation
24	Benoît Georis, Magale Maziere, François Brémond	Evaluation and Knowledge Representation Formalisms to Improve Video Understanding.	ICVS	2006	DBLP DOI BibTeX RDF
24	Brian R. von Konsky, Mike Robey, Sule Nair	Integrating Design Formalisms in Software Engineering Education.	CSEE&T	2004	DBLP DOI BibTeX RDF
24	Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart 0001, E. Sulaiman, Andy Jinqing Yu	A Comparison of Structural Formalisms for Modeling Large Markov Models.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
24	Kenneth Webb, Tony White	Cell Modeling Using Agent-Based Formalisms.	IEA/AIE	2004	DBLP DOI BibTeX RDF	bioinformatics, agent-based modeling
24	Kenneth Webb, Tony White	Cell Modeling Using Agent-Based Formalisms.	AAMAS	2004	DBLP DOI BibTeX RDF
24	Alan L. Rector	Modularisation of domain ontologies implemented in description logics and related formalisms including OWL.	K-CAP	2003	DBLP DOI BibTeX RDF	ontologies, semantic web, OWL, description logics
24	Jin Song Dong, Jing Sun 0002, Hai H. Wang	Semantic Web for Extending and Linking Formalisms.	FME	2002	DBLP DOI BibTeX RDF	specification environment, Semantic Web
24	Morad Benyoucef, Rudolf K. Keller	An Evaluation of Formalisms for Negotiations in E-commerce.	DCW	2000	DBLP DOI BibTeX RDF
24	Isabelle Borne, Fernando Brito e Abreu, Wolfgang De Meuter, Galal Hassan Galal	Techniques, Tools and Formalisms for Capturing and Assessing the Architectural Quality in Object-Oriented Software.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
24	Michael W. Godfrey	Visual formalisms for configuration management.	CASCON	1993	DBLP BibTeX RDF
24	Ed Brinksma	Constraint-Oriented Specification in a Constructive Formal Description Technique.	REX Workshop	1989	DBLP DOI BibTeX RDF	constraint-oriented specification, multi-way synchronization, specification styles, synchronization by association, formal specification, refinement, process algebra, LOTOS, parallel composition, conjunction
21	Ivan Poliakov, Victor Khomenko, Alexandre Yakovlev	Workcraft - A Framework for Interpreted Graph Models.	Petri Nets	2009	DBLP DOI BibTeX RDF
21	Gregor von Bochmann	Using First-Order Logic to Reason about Submodule Construction.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
21	Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink 0001, Giovambattista Ianni, Thomas Krennwallner	Combining Nonmonotonic Knowledge Bases with External Sources.	FroCoS	2009	DBLP DOI BibTeX RDF
21	Carsten Maus, Mathias John, Mathias Röhl, Adelinde M. Uhrmacher	Hierarchical Modeling for Computational Biology.	SFM	2008	DBLP DOI BibTeX RDF	model components, DEVS, hierarchical models, pi calculus, multi-level modeling
21	Ofer Arieli	Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Paraconsistent and nonmonotonic reasoning, preferential semantics, quantified Boolean formulae
21	Klaas L. Hofstra, Sabih H. Gerez	Arx: A Toolset for the Efficient Simulation and Direct Synthesis of High-Performance Signal Processing Algorithms.	HiPEAC	2007	DBLP DOI BibTeX RDF
21	Deborah East, Miroslaw Truszczynski	Predicate-calculus-based logics for modeling and solving search problems.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic
21	Jean-François Condotta, Mahmoud Saade, Gerard Ligozat	A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi.	TIME	2006	DBLP DOI BibTeX RDF
21	Haibin Sun, Wenhui Li 0002	Spatial Reasoning Based on Rules.	IWINAC (1)	2005	DBLP DOI BibTeX RDF
21	Luc De Raedt	Statistical Relational Learning: An Inductive Logic Programming Perspective.	PKDD	2005	DBLP DOI BibTeX RDF
21	Stephen A. Edwards, Olivier Tardieu	Deterministic receptive processes are Kahn processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
21	Michelle L. Crane, Jürgen Dingel	UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.	MoDELS	2005	DBLP DOI BibTeX RDF
21	Raymond T. Boute, Andreas Schäfer 0001	The Timer Cascade: Functional Modelling and Real Time Calculi.	ICTAC	2005	DBLP DOI BibTeX RDF
21	Haibin Sun, Wenhui Li 0002	A Rule System for Heterogeneous Spatial Reasoning in Geographic Information System.	DEXA	2005	DBLP DOI BibTeX RDF
21	Simonetta Balsamo, Marta Simeoni	On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.	FIRB-Perf	2005	DBLP DOI BibTeX RDF
21	Luís Gomes 0001, Anikó Costa	Teaching Formal Methods Within System-on-a-Programmable-Chip Design.	MSE	2005	DBLP DOI BibTeX RDF
21	Blaise Genest, Dietrich Kuske, Anca Muscholl, Doron A. Peled	Snapshot Verification.	TACAS	2005	DBLP DOI BibTeX RDF
21	Anssi Yli-Jyrä, Jyrki Niemi	Pivotal Synchronization Languages: A Framework for Alignments.	FSMNLP	2005	DBLP DOI BibTeX RDF
21	Cong Zhang, Viktor K. Prasanna, Abdollah Orangi, Will Da Sie, Aditya Kwatra	Modeling methodology for application development in petroleum industry.	IRI	2005	DBLP DOI BibTeX RDF
21	Igor Walukiewicz	From Logic to Games.	FSTTCS	2005	DBLP DOI BibTeX RDF
21	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
21	Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea	Sociable Interfaces.	FroCoS	2005	DBLP DOI BibTeX RDF
21	Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders	The Möbius Modeling Environment: Recent Developments.	QEST	2004	DBLP DOI BibTeX RDF
21	Bart Selman	Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics.	CP	2004	DBLP DOI BibTeX RDF
21	Werner Damm, Bernd Westphal	Introduction to Subject Area 'Charts'.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
21	Heike Wehrheim	Behavioral Subtyping Relations for Active Objects.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	object-orientation, refinement, CSP, behavioral subtyping
21	Ákos Lédeczi, James R. Davis, Sandeep Neema, Aditya Agrawal	Modeling methodology for integrated simulation of embedded systems.	ACM Trans. Model. Comput. Simul.	2003	DBLP DOI BibTeX RDF	simulation integration, Simulation, modeling, domain specific languages, metamodeling, model integrated computing
21	Marc Cavazza, Fred Charles, Steven J. Mead	Interactive storytelling: from AI experiment to new media.	ICEC	2003	DBLP BibTeX RDF
21	Olivier Gerbé, Guy W. Mineau	The CG Formalism as an Ontolingua for Web-Oriented Representation Languages.	ICCS	2002	DBLP DOI BibTeX RDF
21	Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran	Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.	TABLEAUX	2002	DBLP DOI BibTeX RDF
21	Erwan Breton, Jean Bézivin	Weaving Definition and Execution Aspects of Process Meta-models.	HICSS	2002	DBLP DOI BibTeX RDF	Workflow, Process modeling, Meta-modeling, MOF
21	David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders	Möbius: An Extensible Tool for Performance and Dependability Modeling.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
21	Boris A. Trakhtenbrot	Automata and Their Interaction: Definitional Suggestions.	FCT	1999	DBLP DOI BibTeX RDF
21	Daniele Nardi, Riccardo Rosati 0001	Generalized Default Logic: Minimal Knowledge, Autoepistemic and Default Reasoning Reconciled.	AI*IA	1999	DBLP DOI BibTeX RDF
21	Roberto Bruni, Fabio Gadducci, Ugo Montanari	Normal Forms for Partitions and Relations.	WADT	1998	DBLP DOI BibTeX RDF
21	Gilles Dowek, Benjamin Werner	Proof Normalization Modulo.	TYPES	1998	DBLP DOI BibTeX RDF
21	Robert Büssow, Robert Geisler, Marcus Klar	Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.	FASE	1998	DBLP DOI BibTeX RDF
21	José Luiz Fiadeiro, Antónia Lopes	Semantics of Architectural Connectors.	TAPSOFT	1997	DBLP DOI BibTeX RDF
21	Egidio Astesiano, Gianna Reggio	Formalism and Method.	TAPSOFT	1997	DBLP DOI BibTeX RDF
21	Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro	Introducing Planning in Discrete Event Systems.	EUROCAST	1997	DBLP DOI BibTeX RDF
21	Jianhua Chen 0003	The Logic of Only Knowing as a Unified Framework for Non-Monotonic Reasoning.	ISMIS	1993	DBLP DOI BibTeX RDF
21	Steffen Hölldobler	On Deductive Planning and the Frame Problem.	LPAR	1992	DBLP DOI BibTeX RDF
18	Irem Y. Tumer, Carol S. Smidts	Integrated Design-Stage Failure Analysis of Software-Driven Hardware Systems.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	Integrated design-stage analysis, software-hardware reliability, failure propagation analysis, safety-critical systems, formalisms
18	Robert S. Bolia, Raymond E. Slyh	Representation and Comprehension in Machine Translation and Intelligent Decision Support.	IEEE Intell. Syst.	2011	DBLP DOI BibTeX RDF	applications and expert knowledge-intensive systems, natural language processing, knowledge acquisition, intelligent systems, machine translation, intelligent web services and semantic web, knowledge representation formalisms and methods, philosophical foundations
18	Mohammed Belkhatir	An operational model based on knowledge representation for querying the image content with concepts and relations.	Multim. Tools Appl.	2009	DBLP DOI BibTeX RDF	Semantic/Relational integration, Knowledge representation formalisms, Precision/Recall validation, Conceptual graphs, Image indexing and retrieval
18	Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel	Run-time conformance checking of mobile and distributed systems using executable models.	PADTAD	2009	DBLP DOI BibTeX RDF	distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
18	Börje F. Karlsson, Simone Diniz Junqueira Barbosa, António L. Furtado 0001, Marco A. Casanova	A Plot-Manipulation Algebra to Support Digital Storytelling.	ICEC	2009	DBLP DOI BibTeX RDF	algebraic formalisms, logic design, storytelling, narratology, plots
18	Marc Cavazza, Ronan Champagnat, Riccardo Leonardi	The IRIS Network of Excellence: Future Directions in Interactive Storytelling.	ICIDS	2009	DBLP DOI BibTeX RDF	Narrative formalisms, hidden Markov models, planning, linear logic, video summarization, interactive storytelling, interactive narrative
18	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier	Applying CSP \|\| B to information systems.	Softw. Syst. Model.	2008	DBLP DOI BibTeX RDF	Information systems, CSP, Compositional verification, B, Combining formalisms
18	John Howse	Diagrammatic Reasoning Systems.	ICCS	2008	DBLP DOI BibTeX RDF	information visualization, automated reasoning, software specification, diagrammatic reasoning, Visual formalisms
18	Marc Cavazza, Stéphane Donikian, Marc Christie, Ulrike Spierling, Nicolas Szilas, Peter Vorderer, Tilo Hartmann, Christoph Klimmt, Elisabeth André, Ronan Champagnat, Paolo Petta, Patrick Olivier	The IRIS Network of Excellence: Integrating Research in Interactive Storytelling.	ICIDS	2008	DBLP DOI BibTeX RDF	Narrative Formalisms, Planning, Authoring Tools, Character Animation, Interactive Storytelling, Interactive Narrative, Camera Control
18	Antonija Mitrovic, Brent Martin, Pramuditha Suraweera	Intelligent Tutors for All: The Constraint-Based Approach.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	education, artificial intelligence, intelligent tutoring systems, knowledge modeling, computer-assisted instruction, knowledge representation formalisms and methods
18	Iyad Rahwan, Peter McBurney	Guest Editors' Introduction: Argumentation Technology.	IEEE Intell. Syst.	2007	DBLP DOI BibTeX RDF	artificial intelligence, argumentation, distributed artificial intelligence, computing methodologies, knowledge representation formalisms and methods
18	Thanh Tho Quan, Siu Cheung Hui, Alvis Cheuk M. Fong, Tru Hoang Cao	Automatic Fuzzy Ontology Generation for Semantic Web.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	” probabilistic, uncertainty, fuzzy, concept learning, ontology design, Intelligent Web services and semantic Web, knowledge representation formalisms and methods
18	Philip H. P. Nguyen, Dan Corbett	A Basic Mathematical Framework for Conceptual Graphs.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Graph algorithms, ontology design, knowledge representation formalisms and methods
18	Shahar Maoz, David Harel	From multi-modal scenarios to code: compiling LSCs into aspectJ.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming
18	David Harel, Shahar Maoz	Assert and negate revisited: modal semantics for UML sequence diagrams.	SCESM	2006	DBLP DOI BibTeX RDF	inter-object approach, UML, semantics, specification, scenarios, sequence diagrams, live sequence charts, visual formalisms
18	Lin Padgham, Patrick Lambrix	Formalisations of Capabilities for BDI-Agents.	Auton. Agents Multi Agent Syst.	2005	DBLP DOI BibTeX RDF	agent representation formalisms, agent theory, agent capabilities, BDI-agents
18	Neil Evans, Helen Treharne	Investigating a file transfer protocol using CSP and B.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	CSP, Compositional verification, B, Combining formalisms
18	Shavit Talman, Meirav Hadad, Ya'akov Gal, Sarit Kraus	Adapting to agents' personalities in negotiation.	AAMAS	2005	DBLP DOI BibTeX RDF	game formalisms, social decision-making, negotiation, opponent modeling
18	Jean Flower, John Howse, John Taylor 0001	Nesting in Euler Diagrams: syntax, semantics and construction.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Nested Euler diagrams, Formal methods, Diagrammatic reasoning, Visual formalisms, Euler diagrams
18	Alessandro Agostini	On two families of paradigms of group-solvability.	AAMAS	2003	DBLP DOI BibTeX RDF	teams and group-dynamics, formalisms and logics for agents and MAS, coordination, groups, coalition formation
18	Jean Flower, John Howse, John Taylor 0001, Stuart Kent 0001	A Visual Framework for Modelling with Heterogeneous Notations.	HCC	2002	DBLP DOI BibTeX RDF	software specification, Visual formalisms
18	Natasha Alechina, Brian Logan 0001	Ascribing beliefs to resource bounded agents.	AAMAS	2002	DBLP DOI BibTeX RDF	formalisms and logics
18	Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang	Planning in a multi-agent environment: theory and practice.	AAMAS	2002	DBLP DOI BibTeX RDF	agent selection and planning, agent architectures, formalisms and logics
18	Mirko Viroli, Andrea Omicini	Specifying agent observable behaviour.	AAMAS	2002	DBLP DOI BibTeX RDF	agent architectures, agent-based software engineering, formalisms and logics
18	Jürgen Dix, Sarit Kraus, V. S. Subrahmanian	Agents dealing with time and uncertainty.	AAMAS	2002	DBLP DOI BibTeX RDF	probabilistic/uncertain reasoning, theories of agency, logic programming, temporal reasoning, formalisms and logics
18	Robert Demolombe, Erwan Hamon	What does it mean that an agent is performing a typical procedure? a formal definition in the situation calculus.	AAMAS	2002	DBLP DOI BibTeX RDF	intentional attitude, situation calculus, formalisms and logics
18	Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer	Iterated belief change in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	iterated belief revision, knowledge, formalisms
18	Jaime Simão Sichman, Rosaria Conte	Multi-agent dependence by dependence graphs.	AAMAS	2002	DBLP DOI BibTeX RDF	emergent organization, formalisms for agents and MAS, organizations and societies, groups, teams, self-organizing systems, group dynamics
18	Joseph Gil, John Howse, Stuart Kent 0001	Towards a Formalization of Constraint Diagrams.	HCC	2001	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
18	John Howse, Fernando Molina, John Taylor 0001, Sun-Joo Shin	Type-syntax and token-syntax in diagrammatic systems.	FOIS	2001	DBLP DOI BibTeX RDF	concrete and abstract syntax, formal methods, software specification, diagrammatic reasoning, visual formalisms
18	Giovanni Maria Sacco	Dynamic Taxonomies: A Model for Large Information Bases.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	large text archives, hypertext navigation and maps, semantic networks, indexing methods, retrieval models, Information storage and retrieval, multimedia information systems, information interfaces and presentation, knowledge representation formalisms and methods
18	Joseph Gil, John Howse, Stuart Kent 0001, John Taylor 0001	Projections in Venn-Euler Diagrams.	VL	2000	DBLP DOI BibTeX RDF	diagrammatic notations, Visual formalisms
18	Joseph Gil, John Howse, Stuart Kent 0001	Formalizing Spider Diagrams.	VL	1999	DBLP DOI BibTeX RDF	formal methods, software specification, Visual formalisms
18	John Howse, Fernando Molina, John Taylor 0001, Stuart Kent 0001	Reasoning with Spider Diagrams.	VL	1999	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
18	Tino Pyssysalo, Leo Ojala	Causal Modeling of a Video-on-Demand System Using Predicate/Transition Net Formalism.	EUROMICRO	1996	DBLP DOI BibTeX RDF	high-level net model, bunching property, resource allocation mechanism, request service, refusal by choice feature, predicate/transition net formalism, stochastic net theoretical methods, time formalisms, performance analysis, reachability analysis, interactive television, parallel machine scheduling, causal modeling, FIFO queues, video-on-demand system
17	Pau Urdeitx, Icíar Alfaro, David González 0002, Francisco Chinesta, Elías Cueto	A comparison of Single- and Double-generator formalisms for Thermodynamics-Informed Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
17	Tim Forster, Daniel Vázquez, Mariano Nicolás Cruz Bournazou, Alessandro Butté, Gonzalo Guillén-Gosálbez	Modeling of bioprocesses via MINLP-based symbolic regression of S-system formalisms.	Comput. Chem. Eng.	2023	DBLP DOI BibTeX RDF
17	Hafiz Mahfooz Ul Haque, Kiran Saleem, Ahmad Salman Khan	Modeling belief-desire-intention reasoning agents for situation-aware formalisms.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF