Search results for "formalisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Anthony Hunter, Simon Parsons	Introduction to uncertainty formalisms.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
74	Simon Parsons, Anthony Hunter	A review of uncertainty handling formalisms.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
59	Bill Keller	Formalisms for grammatical knowledge representation.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	constituent structure, feature structures, knowledge representation, natural language, parsing, grammar, unification
56	Fernando J. Barros	Modeling Formalisms for Dynamic Structure Systems.	ACM Trans. Model. Comput. Simul.	1997	DBLP DOI BibTeX RDF	dynamic structure systems specifications, parallel modeling formalisms
45	Marco Beccuti, Giuliana Franceschinis, Serge Haddad	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.	ICATPN	2007	DBLP DOI BibTeX RDF
45	Yimin Wang, Jie Bao 0001, Peter Haase 0001, Guilin Qi	Evaluating Formalisms for Modular Ontologies in Distributed Information Systems.	RR	2007	DBLP DOI BibTeX RDF	modular ontologies, requirements, Distributed information systems, semantic technology
43	Umair Siddique, Sofiène Tahar	On the Formalization of Cardinal Points of Optical Systems.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Nathaniel Moseley, Cecilia Ovesdotter Alm, Manjeet Rege	On Utilizing Nonstandard Abbreviations and Lexicon to Infer Demographic Attributes of Twitter Users.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Luke K. McDowell, Aaron Fleming, Zane Markel	Evaluating and Extending Latent Methods for Link-Based Classification.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Éric Grégoire	Any-Time Knowledge Revision and Inconsistency Handling.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Abdelli Abdelkrim	Towards a General Model to Handle Multi-enabledness in Time Petri Nets.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Sarfaraz Soomro, Andréa M. Matsunaga, José A. B. Fortes	Simplifying Extract-Transform-Load for Ranked Hierarchical Trees via Mapping Specifications.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Johanna Nellen, Erika Ábrahám, Benedikt Wolters	A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Aymen Louati, Kamel Barkaoui, Chadlia Jerad	Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe	A Model-Based Approach for User Requirements Decomposition and Component Selection.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Li Tan, Bolong Zeng	Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saïdouni	Formal Modeling and Analysis of Business Process Timed Constraints.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Thouraya Bouabana-Tebibel, Stuart H. Rubin, Miloud Bennama	Forward and Backward Analysis of Weak Sequencing Specification.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
43	Anthony Hunter, Simon Parsons (eds.)	Applications of Uncertainty Formalisms	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (eds.)	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1998	DBLP DOI BibTeX RDF
43	Pascal Nicolas, Torsten Schaub	The XRay system: An implementation platform for local query-answering in default logics.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Jörg Gebhardt, Rudolf Kruse	Background to and perspectives on possibilistic graphical models.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Patrick Bosc, Ludovic Liétard, Henri Prade	An ordinal approach to the processing of fuzzy queries with flexible quantifiers.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Rolf Haenni	Modelling uncertainty with propositional assumption-based systems.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Mounia Lalmas	Information retrieval and Dempster-Shafer's theory of evidence.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	John Fox 0001, Simon Parsons	Arguing about beliefs and actions.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Alessandro Saffiotti	Handling uncertainty in control of autonomous robots.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Salem Benferhat, Laurent Garcia	A local handling of inconsistent knowledge and default bases.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Maria Fernanda N. Ramalho	Uncertainty measures associated with fuzzy rules for connection admission control in ATM Networks.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Karin van Dam	Using uncertainty techniques in radio communication systems.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Frances M. T. Brazier, Joeri Engelfriet, Jan Treur	Analysis of multi-interpretable ecological monitoring information.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Subrata Kumar Das	How much does an agent believe: An extension of modal epistemic logic.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Marta Domingo, Lluís Godo, Carles Sierra	Handling imperfect knowledge handling in Milord II for the identification of marine sponges.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Paolo Magni, Riccardo Bellazzi, Franco Locatelli	Using uncertainty management techniques in medical therapy planning: A decision-theoretic approach.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	John Bell, Zhisheng Huang	Safety logics.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Ahmed Y. Tawfik, Eric Neufeld	Model-based diagnosis: A probabilistic extension.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Duncan Wilson, Alistair Greig, John Gilby, Robert Smith	Some problems in trying to implement uncertainty techniques in automated inspection.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	Paul J. Krause, John Fox 0001, Philip N. Judson, Mukesh Patel	Qualitative risk assessment fulfils a need.	Applications of Uncertainty Formalisms	1998	DBLP DOI BibTeX RDF
43	John Bigham	Correlation using uncertain and temporal information.	Applications of Uncertainty Formalisms	1998	DBLP BibTeX RDF
43	Minjie Zhang	A Case-Based Strategy for Solution Synthesis among Cooperative Expert Systems.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Sascha Ossowski, Ana García-Serrano	Social Co-ordination among Autonomous Problem-Solving Agents.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Michael J. Wooldridge, Afsaneh Haddadi	Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper).	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Hung Hai Bui, Svetha Venkatesh, Dorota H. Kieronska	A Framework for Coordination and Learning among Teams of Agents.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Dong Mei Zhang, Leila Alem, Kalina Yacef	Using Multi-agent Approach for the Design of an Intelligent Learning Environment.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Li-Yan Yuan, Jia-Huai You, Randy Goebel	Disjunctive Logic Programming and Possible Model Semantics (Invited Paper).	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Kazumi Nakamatsu, Atsuyuki Suzuki	A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Bengt Carlsson, Stefan J. Johansson	An Iterated Hawk-and-Dove Game.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Greg Gibbon, Janet Aisbett	Switching between Reasoning and Search.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Bernard Moulin	The Social Dimension of Interactions in Multiagent Systems.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Steven Shapiro, Yves Lespérance, Hector J. Levesque	Specifying Communicative Multi-Agent Systems (Invited Paper).	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Chengqi Zhang, Yuefeng Li	An Algorithm for Plan Verification in Multiple Agent Systems.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Timothy J. Norman, Nicholas R. Jennings	Generating States of Joint Commitment between Autonomous Agents.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Alessio Lomuscio, Mark Ryan 0001	On the Relation between Interpreted Systems and Kripke Models.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh	A Game-Theoretic Solution of Conflicts among Competitive Agents.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Chengqi Zhang, Xudong Luo	Transformation between the EMYCIN Model and the Bayesian Network.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
43	Wayne Wobcke	Agency and the Logic of Ability.	Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications	1997	DBLP DOI BibTeX RDF
42	Luciano Baresi, Alessandro Orso, Mauro Pezzè	Customizable notations for kernel formalisms.	ICECCS	1995	DBLP DOI BibTeX RDF	customizable notations, kernel formalisms, intuitive graphical notations, specific application domain, formal specification, formal methods, graphical user interfaces, computer graphics, tool support, graphical notations, formal foundations
42	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
38	Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind	Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms.	COSIT	2009	DBLP DOI BibTeX RDF
38	S. J. Overbeek, Patrick van Bommel, Henderik Alex Proper, Daan B. B. Rijsenbrij	Visualizing Formalisms with ORM Models.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
38	Bernhard Nebel	Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.	KI	1999	DBLP DOI BibTeX RDF
35	M. Lusini, Enrico Vicario	Engineering the usability of visual formalisms: a case study in real time logics.	AVI	1998	DBLP DOI BibTeX RDF	usability engineering, visual formalisms, computer aided verification, real time logics
35	Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin	Working with Multiple Ontologies on the Semantic Web.	ISWC	2004	DBLP DOI BibTeX RDF
35	Juan de Lara, Hans Vangheluwe	AToM3: A Tool for Multi-formalism and Meta-modelling.	FASE	2002	DBLP DOI BibTeX RDF	Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
35	Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr	Maude as a Formal Meta-tool.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
35	Kim Guldstrand Larsen	Ideal Specification Formalism + Expressivity + Compositionality + Decidability + Testability + ...	CONCUR	1990	DBLP DOI BibTeX RDF
35	Fangqing Dong, Hiroshi Nakagawa	Semantics of Non-montonic Reasoning based on Perfect Model.	LP	1989	DBLP DOI BibTeX RDF
35	Ashvin Radiya, Robert G. Sargent	Differing Perspectives of Knowledge Representation in Artificial Intelligence and Discrete Event Modeling.	KBCS	1989	DBLP DOI BibTeX RDF
34	Nic Wilson	Extending uncertainty formalisms to linear constraints and other complex formalisms.	Int. J. Approx. Reason.	2008	DBLP DOI BibTeX RDF
32	Hernán P. Dacharry, Norbert Giambiasi	Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVS modeling methodology, multi-formalisms approach, discrete event modeling
32	Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster	The Möbius Framework and Its Implementation.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	PEPA, execution policy, Markov models, Stochastic models, stochastic Petri nets, modeling tools, modeling frameworks, modeling formalisms
32	Norman Y. Foo, Dongmo Zhang, Yan Zhang 0003, Samir Chopra, Quoc Bao Vo	Encoding Solutions of the Frame Problem in Dynamic Logic.	LPNMR	2001	DBLP DOI BibTeX RDF	relationships between formalisms, dynamic logic, frame problem
31	Nicholas Mark Gotts, J. Gareth Polhill	Narrative Scenarios, Mediating Formalisms, and the Agent-Based Simulation of Land Use Change.	EPOS	2006	DBLP DOI BibTeX RDF	Narrative scenarios, qualitative ontologies semantics simulation
31	Sylvain Soliman, François Fages	CMBSlib: A Library for Comparing Formalisms and Models of Biological Systems.	CMSB	2004	DBLP DOI BibTeX RDF
31	Berndt Farwer, Irina A. Lomazova	A Systematic Approach towards Object-Based Petri Net Formalisms.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
31	Clemens Fischer, Heike Wehrheim	Behavioural Subtyping Relations for Object-Oriented Formalisms.	AMAST	2000	DBLP DOI BibTeX RDF
31	Cornelis A. Middelburg	Experiences with Combining Formalisms in VVSL.	Algebraic Methods	1989	DBLP DOI BibTeX RDF	1987 CR categories D.2.1, D.2.2, D.3.1, F.3.1, F.4.1, F.3.2
28	Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald	One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.	FMSB	2008	DBLP DOI BibTeX RDF
28	Michelle L. Crane, Jürgen Dingel	UML vs. classical vs. rhapsody statecharts: not all models are created equal.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
28	Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis	The OsMoSys approach to multi-formalism modeling of systems.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-formalism modeling, Object orientation, Compositionality, Meta-languages
28	Hans Vangheluwe, Juan de Lara	XML-based modeling and simulation: meta-models are models too.	WSC	2002	DBLP DOI BibTeX RDF
28	David Daly, William H. Sanders	A Connection Formalism for the Solution of Large and Stiff Models.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens	The Regular Real-Time Languages.	ICALP	1998	DBLP DOI BibTeX RDF
25	Yngve Dahl, Dag Svanæs	Visualizing Interaction in Digitally Augmented Spaces: Steps Toward a Formalism for Location-Aware and Token-Based Interactive Systems.	HCI (2)	2007	DBLP DOI BibTeX RDF	Ubiquitous computing, Interaction design, Visual design, Embodied interaction, Modeling formalisms
25	Andrew Fish, John Howse	Towards a Default Reading for Constraint Diagrams.	Diagrams	2004	DBLP DOI BibTeX RDF	constraint diagrams, formal methods, software specification, diagrammatic reasoning, Visual formalisms
25	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Patterns: TCOZ to Timed Automata.	ICFEM	2004	DBLP DOI BibTeX RDF	Modeling and specification formalisms
25	Helen Treharne, Steve A. Schneider, Marchia Bramble	Composing Specifications Using Communication.	ZB	2003	DBLP DOI BibTeX RDF	Composing Specifications, Concurrency, CSP, B-Method, Combining Formalisms
25	Valeria de Paiva	Natural Deduction and Context as (Constructive) Modality.	CONTEXT	2003	DBLP DOI BibTeX RDF	Logical formalisms for context, Representing context and contextual knowledge, Context in knowledge representation
25	João José Neto, César Bravo	Adaptive Automata - A Revisited Proposal.	CIAA	2002	DBLP DOI BibTeX RDF	adaptive devices, rule-driven formalisms, self-modifying machines, adaptive automata, adaptive paradigm
25	Steve A. Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
25	João José Neto	Adaptive Rule-Driven Devices - General Formulation and Case Study.	CIAA	2001	DBLP DOI BibTeX RDF	adaptive devices, rule-driven formalisms, self-modifying machines, adaptive decision tables, adaptive automata
25	John Howse, Fernando Molina, John Taylor 0001	On the Completeness and Expressiveness of Spider Diagram Systems.	Diagrams	2000	DBLP DOI BibTeX RDF	Diagrammatic reasoning, visual formalisms
25	Rakesh Agarwal, Giorgio Bruno, Marco Torchiano	Enterprise modeling using class and instance models.	APSEC	2000	DBLP DOI BibTeX RDF	instance models, object-oriented formalisms, complex systems structuring, generic data modeling, hierarchical composition, constraints, case study, scenarios, templates, object-oriented methods, enterprise modeling, large-scale systems, conformity, corporate modelling, class models
25	Helen Treharne, Steve A. Schneider	How to Drive a B Machine.	ZB	2000	DBLP DOI BibTeX RDF	Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms
25	Anne Elisabeth Haxthausen, Xia Yong	Linking DC Together with TRSL.	IFM	2000	DBLP DOI BibTeX RDF	integration of specification formalisms, Formal methods, Duration Calculus, RAISE
25	Andreas Zeller	Versioning System Models Through Description Logic.	SCM	1998	DBLP DOI BibTeX RDF	Deduction and theorem proving, Software architecture, Version control, Software configuration management, Knowledge representation formalisms and methods
25	G. Michael McGrath	A Process Modelling Framework: Capturing Key Aspects of Organizational Behavior.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	software process modelling framework, organisational behaviour capture, organisation management, social science literature, formal modelling approaches, evaluation environments, persistent process models, software engineering process modelling framework, behavioural aspects, highly abstracted conceptual model, systems dynamics modelling tool, human factors, Prolog, rapid prototyping, systems analysis, modelling formalisms, user views
25	Luca Pazzi	Extending statecharts for representing parts and wholes.	EUROMICRO	1997	DBLP DOI BibTeX RDF	state-based formalisms, object-oriented development methods, object behavioural modelling, control complexity, behavioural abstractions, specification, software quality, software quality, modularity, statecharts
25	Arjan J. C. van Gemund, Henk Jonkers, Gerard L. Reijns	Performance modeling of parallel systems with flexible precision.	HICSS (2)	1995	DBLP DOI BibTeX RDF	flexible precision, low-precision compile-time methods, high-cost high-precision methods, performance prediction technique, model reduction calculus, simulation, parallel processing, static analysis, performance modeling, performance prediction, program compilers, queueing networks, software performance evaluation, parallel systems, task graphs, system monitoring, simulation languages, simulation languages, modeling formalisms
25	Henk Jonkers, Arjan J. C. van Gemund, Gerard L. Reijns	A probabilistic approach to parallel system performance modelling.	HICSS (2)	1995	DBLP DOI BibTeX RDF	parallel system performance modelling, efficient parallel applications development, reliable performance predictions, machine model building blocks, multiple-class parallel section completion times, conditional statements, performance evaluation, probability, case study, queueing theory, parallel machines, parallel machine, memory hierarchies, queueing networks, probabilistic approach, modelling formalisms