Search results for "formalisations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	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
47	Tom Routen	Hierarchically Organised Formalisations.	ICAIL	1989	DBLP DOI BibTeX RDF
36	Yann-Gaël Guéhéneuc, Hervé Albin-Amiot	Recovering binary class relationships: putting icing on the UML cake.	OOPSLA	2004	DBLP DOI BibTeX RDF	binary class relationships, consensual definitions, design-implementation discontinuity, formalisations, minimal properties, java, UML, detection algorithms
35	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
35	Helge Janicke, Antonio Cau, Hussein Zedan	A note on the formalisation of UCON.	SACMAT	2007	DBLP DOI BibTeX RDF	access control, formal specification, security policy, usage control
35	Marc Denecker	The Well-Founded Semantics Is the Principle of Inductive Definition.	JELIA	1998	DBLP DOI BibTeX RDF
30	Omar El Hadri, Darren Prescott	Modular asset management framework based on Petri-net formalisations and risk-aware maintenance.	Reliab. Eng. Syst. Saf.	2024	DBLP DOI BibTeX RDF
30	Pola Schwöbel, Peter Remmers	The Long Arc of Fairness: Formalisations and Ethical Discourse.	CoRR	2022	DBLP DOI BibTeX RDF
30	Pola Schwöbel, Peter Remmers	The Long Arc of Fairness: Formalisations and Ethical Discourse.	FAccT	2022	DBLP DOI BibTeX RDF
30	Marcellus Siegburg, Janis Voigtländer	Generating Diverse Exercise Tasks on UML Class and Object Diagrams, Using Formalisations in Alloy.	Modellierung (Companion)	2020	DBLP BibTeX RDF
30	Florian Faissole	Formalisations d'analyses d'erreurs en analyse numérique et en arithmétique à virgule flottante. (Formalizations of error analysis in numerical analysis and floating-point arithmetic).		2019	RDF
30	Aurélie Hurault	Formalisations pour les compositions de services.		2018	RDF
30	Judit X. Madarász, Gergely Székely, Mike Stannett	Three Different Formalisations of Einstein's Relativity Principle.	Rev. Symb. Log.	2017	DBLP DOI BibTeX RDF
30	Hitoshi Furusawa, Yasuo Kawahara, Georg Struth, Norihiro Tsumagari	Relational Formalisations of Compositions and Liftings of Multirelations.	RAMiCS	2015	DBLP DOI BibTeX RDF
30	Ruud Koolen, Julien Schmaltz	Formal Methods for MILS: Formalisations of the GWV Firewall.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
30	Naipeng Dong, Hugo Jonker, Jun Pang 0001	Enforcing Privacy in the Presence of Others: Notions, Formalisations and Relations.	ESORICS	2013	DBLP DOI BibTeX RDF
30	Peter Y. H. Wong, Jeremy Gibbons	Formalisations and applications of BPMN.	Sci. Comput. Program.	2011	DBLP DOI BibTeX RDF
30	Yehuda Schwartz, George Tourlakis	On the Proof-Theory of two Formalisations of Modal First-Order Logic.	Stud Logica	2010	DBLP DOI BibTeX RDF
30	J. Stuart Aitken, Bonnie L. Webber, Jonathan Bard	Part-of Relations in Anatomy Ontologies: A Proposal for RDFS and OWL Formalisations.	Pacific Symposium on Biocomputing	2004	DBLP BibTeX RDF
30	Martin Penicka, Dines Bjørner	From railway resource planning to train operation - a brief survey of complementary formalisations.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
30	Corin A. Gurr	Aligning syntax and semantics in formalisations of visual languages.	HCC	2001	DBLP DOI BibTeX RDF
30	Flávio S. Corrêa da Silva	Formalisations of Uncertain Reasonining.	IEA/AIE	1999	DBLP DOI BibTeX RDF
30	Tom Routen	On Isomorphic Formalisations.	Artif. Intell. Law	1996	DBLP DOI BibTeX RDF
30	Teodor Stepien	A Note on Formalisations of First-order Theories.	Reports Math. Log.	1993	DBLP BibTeX RDF
30	Tom Routen	Reusing formalisations of legislation in a tutoring system.	Artif. Intell. Rev.	1992	DBLP DOI BibTeX RDF	reusing knowledge, statutes, prolog, intelligent tutoring systems, legislation
30	John Jones	Formalisations of Many-Valued Propositional Calculi with Variable Functors.	Math. Log. Q.	1985	DBLP DOI BibTeX RDF
30	Alan Rose	Formalisations of Further N0-Valued Lukasiewicz Propositional Calculi.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
30	Alan Rose	Formalisations With Non-Standard Degrees of Completeness.	Math. Log. Q.	1976	DBLP DOI BibTeX RDF
18	Anne Laurent, Marie-Jeanne Lesot, Maria Rifqi	GRAANK: Exploiting Rank Correlations for Extracting Gradual Itemsets.	FQAS	2009	DBLP DOI BibTeX RDF	Gradual Dependencies, Gradual Itemsets, Ranking Comparison, Data Mining, Gradual Rules
18	Martin Hofmann 0001, Ulrich Schöpp	Pointer Programs and Undirected Reachability.	LICS	2009	DBLP DOI BibTeX RDF
18	Nik Sultana, Simon J. Thompson	Mechanical verification of refactorings.	PEPM	2008	DBLP DOI BibTeX RDF	refactoring, Isabelle/HOL
18	Nicholas Cameron 0001, Sophia Drossopoulou, Erik Ernst	A Model for Java with Wildcards.	ECOOP	2008	DBLP DOI BibTeX RDF
18	Tibor Bosse, Alexei Sharpanskykh, Jan Treur	On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition.	DALT	2007	DBLP DOI BibTeX RDF
18	Jesper Bengtson, Joachim Parrow	Formalising the pi-Calculus Using Nominal Logic.	FoSSaCS	2007	DBLP DOI BibTeX RDF
18	Andrew M. Pitts	Techniques for Contextual Equivalence in Higher-Order, Typed Languages.	ESOP	2007	DBLP DOI BibTeX RDF
18	Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche	A Formal Model of Dataflow Repositories.	DILS	2007	DBLP DOI BibTeX RDF
18	Fairouz Kamareddine	The Gradual Computerisation of Mathematics in MathLang.	SYNASC	2007	DBLP DOI BibTeX RDF
18	Barbara Pernici, Paolo Locatelli, Clementina Marinoni	The eCCO System: An eCompetence Management Tool Based on Semantic Networks.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	knowledge object, job profile, certification profile, network enrichment, profile gap analysis, ontology, semantic network, competence, skill
18	Roberto García 0001, Rosa Gil 0001	An OWL Copyright Ontology for Semantic Digital Rights Management.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF
18	Harvey Tuch, Gerwin Klein	A Unified Memory Model for Pointers.	LPAR	2005	DBLP DOI BibTeX RDF
18	Tibor Bosse, Jan Treur	Formal Interpretation and Analysis of Collective Intelligence as Individual Intelligence.	MABS	2005	DBLP DOI BibTeX RDF
18	Santiago Zanella Béguelin	Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.	CASSIS	2005	DBLP DOI BibTeX RDF
18	Daniel Winterstein, Alan Bundy, Mateja Jamnik	On Differences between the Real and Physical Plane.	Diagrams	2004	DBLP DOI BibTeX RDF
18	Ana Bove, Thierry Coquand	Formalising Bitonic Sort in Type Theory.	TYPES	2004	DBLP DOI BibTeX RDF
18	Raymond R. Devillers, Hanna Klaudel, Maciej Koutny	Context-based Process Algebras for Mobility.	ACSD	2004	DBLP DOI BibTeX RDF
18	John A. Bateman, Scott Farrar	Modelling Models of Robot Navigation Using Formal Spatial Ontology.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
18	Matthijs Mulder, Anton Nijholt, Marten den Uyl, Peter Terpstra	A Lexical Grammatical Implementation of Affect.	TSD	2004	DBLP DOI BibTeX RDF
18	Gilles Barthe, Sorin Stratulat	Validation of the JavaCard Platform with Implicit Induction Techniques.	RTA	2003	DBLP DOI BibTeX RDF
18	Paul E. Dunne, Peter McBurney	Concepts of Optimal Utterance in Dialogue: Selection and Complexity.	Workshop on Agent Communication Languages	2003	DBLP DOI BibTeX RDF
18	Paul E. Dunne, Peter McBurney	Optimal utterances in dialogue protocols.	AAMAS	2003	DBLP DOI BibTeX RDF	argumentation and persuasion, dialogue protocols, locution selection, computational complexity, agent communication languages
18	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
18	Michael Jackson 0001	Where, Exactly, Is Software Development?	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
18	Renate A. Schmidt, Dmitry Tishkovsky	Multi-agent Logics of Dynamic Belief and Knowledge.	JELIA	2002	DBLP DOI BibTeX RDF
18	Guido Governatori, Vineet Padmanabhan, Abdul Sattar 0001	A Defeasible Logic of Policy-Based Intention.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
18	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Bernard P. Serpette, Simão Melo de Sousa	A Formal Executable Semantics of the JavaCard Platform.	ESOP	2001	DBLP DOI BibTeX RDF
18	Rex Bing Hung Kwok	Creating Theoretical Terms for Non-deterministic Actions.	PRICAI	1996	DBLP DOI BibTeX RDF
18	Vincent van Oostrom	Higher-Order Families.	RTA	1996	DBLP DOI BibTeX RDF
18	H. Becht, John Staples	Soft Typing of General First-Order Languages.	APSEC	1995	DBLP DOI BibTeX RDF	soft typing, many-sorted logics, type theory, type checking, parametric polymorphism
18	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens	Two Approaches towards the Formalisation of VDM.	VDM Europe	1990	DBLP DOI BibTeX RDF	formalisation of VDM, automated support of formal methods, theorem provers