Search results for "logical language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian	A Logical Language for Expressing Authorizations.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	secuity policy, Access control, authorization
1	Kazuhiro Minami, Nikita Borisov, Carl A. Gunter	Safety in discretionary access control for logic-based publish-subscribe systems.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, safety, inference control, publish-subscribe system, logical language
1	Clemens Kupke, Raul Andres Leal	Characterising Behavioural Equivalence: Three Sides of One Coin.	CALCO	2009	DBLP DOI BibTeX RDF
1	Matthias Broecheler, Gerardo I. Simari, V. S. Subrahmanian	Using Histograms to Better Answer Queries to Probabilistic Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	Imprecise Probabilities, Probabilistic Logic Programming
1	Guido Sciavicco, José M. Juárez, Manuel Campos	Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.	IWINAC	2009	DBLP DOI BibTeX RDF
1	Grazia Bombini, Nicola Di Mauro, Teresa Maria Altomare Basile, Stefano Ferilli, Floriana Esposito	Relational Learning by Imitation.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	Learning by Imitation, Agents, Relational Learning
1	Patrick Krümpelmann, Luciano H. Tamargo, Alejandro Javier García, Marcelo A. Falappa	Forwarding Credible Information in Multi-agent Systems.	KSEM	2009	DBLP DOI BibTeX RDF	Multi-agent System, Knowledge Representation, Plausibility
1	Georg Boenn, Martin Brain, Marina De Vos, John Fitch	ANTON: Composing Logic and Logic Composing.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera	Tableaux and Model Checking for Memory Logics.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Hedda Rahel Schmidtke, Dongpyo Hong, Woontack Woo	Reasoning about Models of Context. A Context-Oriented Logical Language for Knowledge-Based Context-Aware Applications.	Revue d'Intelligence Artificielle	2008	DBLP BibTeX RDF
1	Fabio Massacci, Katsiaryna Naliuka	Towards Practical Security Monitors of UML Policies for Mobile Applications.	ARES	2008	DBLP DOI BibTeX RDF	runtime monitoring, policy languages, policy enforcement
1	Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Towards a Fuzzy Logic for Automated Multi-issue Negotiation.	FoIKS	2008	DBLP DOI BibTeX RDF
1	Georg Boenn, Martin Brain, Marina De Vos, John Fitch	Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.	ICLP	2008	DBLP DOI BibTeX RDF
1	Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces.	Autonomous Agents and Multi-Agent Systems	2008	DBLP DOI BibTeX RDF	Logic languages Pareto efficiency, Ontologies, Knowledge representation, Electronic marketplaces, Utility theory
1	Alessandra Raffaetà, T. Ceccarelli, D. Centeno, Fosca Giannotti, A. Massolo, Christine Parent, Chiara Renso, Stefano Spaccapietra, Franco Turini	An Application of Advanced Spatio-Temporal Formalisms to Behavioural Ecology.	GeoInformatica	2008	DBLP DOI BibTeX RDF	behavioural ecology, geographical information systems, conceptual modelling, constraint programming, spatio-temporal reasoning
1	Marc Pauly	On the role of language in social choice theory.	Synthese	2008	DBLP DOI BibTeX RDF	Logic, Judgment aggregation, Social choice theory
1	Marc Pauly	Axiomatizing collective judgment sets in a minimal logical language.	Synthese	2007	DBLP DOI BibTeX RDF	Modal logic, Judgment aggregation
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Reasoning about judgment and preference aggregation.	AAMAS	2007	DBLP DOI BibTeX RDF	modal logic, preference aggregation, judgment aggregation
1	Meenakshi Balasubramanian, Abhishek Bhatnagar, Namit Chaturvedi, Atish Datta Chowdhury, Arul Ganesh	A framework for decentralized access control.	ASIACCS	2007	DBLP DOI BibTeX RDF	physical access control, authorization, decentralization
1	Royi Ronen, Oded Shmueli	Evaluation of datalog extended with an XPath predicate.	WIDM	2007	DBLP DOI BibTeX RDF	XML and relational processing, XML, datalog
1	Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation.	DALT	2007	DBLP DOI BibTeX RDF
1	Marek J. Sergot	Action and Agency in Norm-Governed Multi-agent Systems.	ESAW	2007	DBLP DOI BibTeX RDF
1	John Fisher, Marc Bezem	Skolem Machines and Geometric Logic.	ICTAC	2007	DBLP DOI BibTeX RDF
1	Philippe Besnard, Marie-Odile Cordier, Yves Moinard	Ontology-Based Inference for Causal Explanation.	KSEM	2007	DBLP DOI BibTeX RDF
1	Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
1	Cheun Ngen Chong, Ricardo Corin, Jeroen Doumen, Sandro Etalle, Pieter H. Hartel, Yee Wei Law, Andrew Tokmakoff	LicenseScript: a logical language for digital rights management.	Annales des Télécommunications	2006	DBLP DOI BibTeX RDF
1	Fernando R. Velázquez-Quesada, Francisco Hernández Quiroz	Some Semantics for a Logical Language for the Game of Dominoes.	Artificial Intelligence and Applications	2006	DBLP BibTeX RDF
1	Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge	Temporal qualitative coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	logic, repeated games, coalitional games
1	Andrew Schumann	Non-Archimedean Valued Sequent Logic.	SYNASC	2006	DBLP DOI BibTeX RDF
1	Maciej Zurawski	Distributed Multi-contextual Ontology Evolution - A Step Towards Semantic Autonomy.	EKAW	2006	DBLP DOI BibTeX RDF
1	Vahur Kotkas	Preconditions for Structural Synthesis of Programs.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF
1	Alberto Finzi, Thomas Lukasiewicz	Game-Theoretic Agent Programming in Golog Under Partial Observability.	KI	2006	DBLP DOI BibTeX RDF
1	Cungen Cao, Yuefei Sui, Zaiyue Zhang	The Rough Logic and Roughness of Logical Theories.	RSKT	2006	DBLP DOI BibTeX RDF	logical theories, refinement, Rough set theory, logical implication
1	Adrian Mocan, Emilia Cimpian, Mick Kerrigan	Formal Model for Ontology Mapping Creation.	International Semantic Web Conference	2006	DBLP DOI BibTeX RDF
1	Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge	Verifying Multi-agent Programs by Model Checking.	Autonomous Agents and Multi-Agent Systems	2006	DBLP DOI BibTeX RDF	AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming
1	Lise Getoor, John Grant	PRL: A probabilistic relational language.	Machine Learning	2006	DBLP DOI BibTeX RDF	Logic programming, Uncertainty, Probabilistic relational models
1	Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits	Reasoning about evolving nonmonotonic knowledge bases.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
1	Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades	DR-BROKERING - A Defeasible Logic-Based System for Semantic Brokering.	EEE	2005	DBLP DOI BibTeX RDF
1	Bat-Odon Purevjii, Masayoshi Aritsugi, Sayaka Imai, Yoshinari Kanamori, Cherri M. Pancake	Protecting Personal Data with Various Granularities: A Logic-Based Access Control Approach.	CIS	2005	DBLP DOI BibTeX RDF
1	Thomas Ågotnes, Michal Walicki	Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures.	CLIMA	2005	DBLP DOI BibTeX RDF
1	Yuan Rao	Temporal Logical-Based Web Services Architecture Description.	GCC	2005	DBLP DOI BibTeX RDF
1	Johan W. Klüwer, Arild Waaler	Relative Trustworthiness.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
1	Grigoris Antoniou, Thomas Skylogiannis, Antonis Bikakis, Nick Bassiliades	A Deductive Semantic Brokering System.	KES	2005	DBLP DOI BibTeX RDF
1	Marina Sapir, David Verbel, Angeliki Kotsianti, Olivier Saidi	Live LogicTM: Method for Approximate Knowledge Discovery and Decision Making.	RSFDGrC	2005	DBLP DOI BibTeX RDF
1	Yu Sun, Yuefei Sui, Youming Xia	Logical Sentences as the Intent of Concepts.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	pragmatical implication, context, concept, logical implication
1	Robert A. Riemenschneider, Hassen Saïdi, Bruno Dutertre	Using Model Checking to Assess the Dependability of Agent-Based Systems.	IEEE Intelligent Systems	2004	DBLP DOI BibTeX RDF
1	Stepan P. Nadrchal	Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.	Ada-Europe	2004	DBLP DOI BibTeX RDF
1	Sau Dan Lee, Luc De Raedt	Constraint Based Mining of First Order Sequences in SeqLog.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
1	Mirco Nanni, Alessandra Raffaetà, Chiara Renso, Franco Turini	Deductive and Inductive Reasoning on Spatio-Temporal Data.	INAP/WLP	2004	DBLP DOI BibTeX RDF
1	Henrik Grosskreutz, Gerhard Lakemeyer	ccGolog -- A Logical Language Dealing with Continuous Change.	Logic Journal of the IGPL	2003	DBLP DOI BibTeX RDF
1	Barbara Catania, Elisa Bertino	Static Analysis of Logical Languages with Deferred Update Semantics.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	static analysis, update, Database system, logical language
1	Pasquale Caianiello, Stefania Costantini, Eugenio G. Omodeo	An Environment for Specifying Properties of Dyadic Relations and Reasoning about Them: I: Language Extension Mechanisms.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF	Calculus of relations, logic programming, relation algebras, algebraic specifications, computational logic
1	Srini Narayanan, Sheila A. McIlraith	Simulation, verification and automated composition of web services.	WWW	2002	DBLP DOI BibTeX RDF	ontologies, web services, distributed systems, semantic web, web service composition, automated reasoning, DAML
1	Paolo Bottoni, Gennaro Costagliola	On the Definition of Visual Languages and Their Editors.	Diagrams	2002	DBLP DOI BibTeX RDF
1	Farshad Hakimpour, Andreas Geppert	Global Schema Generation Using Formal Ontologies.	ER	2002	DBLP DOI BibTeX RDF
1	Alessio Lomuscio, T. Lasica, Wojciech Penczek	Bounded Model Checking for Interpreted Systems: Preliminary Experimental Results.	FAABS	2002	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	Knowledge over Dense Flows of Time (from a Hybrid Point of View).	FSTTCS	2002	DBLP DOI BibTeX RDF	modal logic of subset spaces, reasoning about knowledge and time, hybridization
1	Brandon Bennett	Space, time, matter and things.	FOIS	2001	DBLP DOI BibTeX RDF	matter, things, ontology, time, logic, space
1	Bernhard Heinemann	About the Temporal Decrease of Sets. (PDF / PS)	TIME	2001	DBLP DOI BibTeX RDF
1	Peter A. Flach	Multi-relational Data Mining: a perspective.	EPIA	2001	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Peter W. O'Hearn	On Garbage and Program Logic.	FoSSaCS	2001	DBLP DOI BibTeX RDF
1	Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits	Reasoning about Evolving Nonmonotonic Knowledge Bases.	LPAR	2001	DBLP DOI BibTeX RDF
1	Alessandra Raffaetà, Chiara Renso	Temporal Reasoning in Geographical Information Systems. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language
1	Vincenzo Pallotta	A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Bertram Ludäscher, Georg Lausen	Handling Termination in a Logical Language for Active Rules.	Informatica, Lith. Acad. Sci.	1998	DBLP BibTeX RDF
1	Serenella Cerrito, Marta Cialdea Mayer	Bounded Model Search in Linear Temporal Logic and Its Application to Planning.	TABLEAUX	1998	DBLP DOI BibTeX RDF
1	Grigoris Antoniou	Representation Results for Default Logics.	Australian Joint Conference on Artificial Intelligence	1997	DBLP DOI BibTeX RDF
1	Carlo Meghini, Fabrizio Sebastiani, Umberto Straccia	Modelling the Retrieval of Structured Documents Containing Texts and Images.	ECDL	1997	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	A Topological Generalization of Propositional Linear Time Temporal Logic.	MFCS	1997	DBLP DOI BibTeX RDF
1	Bertram Ludäscher, Wolfgang May, Georg Lausen	Nested Transactions in a Logical Language for Active Rules.	Logic in Databases	1996	DBLP DOI BibTeX RDF
1	James Rogers	Strict LT2 : Regular : : Local : Recognizable.	LACL	1996	DBLP DOI BibTeX RDF
1	Angelo Morzenti, Pierluigi San Pietro	Object-Oriented Logical Specification of Time-Critical Systems.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics
1	Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann	KEIM: A Toolkit for Automated Deduction.	CADE	1994	DBLP DOI BibTeX RDF
1	Agostino Dovier, Enrico Pontelli	A WAM-Based Implementation of a Logical Language with Sets.	PLILP	1993	DBLP DOI BibTeX RDF
1	Gabriel M. Kuper, Moshe Y. Vardi	The Logical Data Model.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	tuple calculus, relational database, logic, Algebra, database schema
1	Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin	A Calculus for Access Control in Distributed Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	cryptography, cryptographic protocols, modal logic
1	Kotagiri Ramamohanarao	An Implementation Overview of the Aditi Deductive Database System.	DOOD	1993	DBLP DOI BibTeX RDF
1	Anatoly Petrovich Beltiukov	Automatical Synthesis of Programs with Recursions.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
1	Ursula Goltz	Causality Based Models for the Design of Concurrent Systems.	CONCUR	1991	DBLP DOI BibTeX RDF
1	Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin	A Calculus for Access Control in Distributed Systems.	CRYPTO	1991	DBLP DOI BibTeX RDF
1	Shamim A. Naqvi, Shalom Tsur	A Logical Language for Data and Knowledge Bases.		1989	RDF
1	Kamal Lodaya, Ramaswamy Ramanujam, P. S. Thiagarajan	A logic for distributed transition sytems.	REX Workshop	1988	DBLP DOI BibTeX RDF	concurrent step, distributed transition systems, completeness, soundness, axiomatization
1	Paola Mello, Antonio Natali	Programs as Collections of Communicating Prolog Units.	ESOP	1986	DBLP DOI BibTeX RDF
1	Fu Tong	An experimental distributed microprocessor-based knowledge base system (abstract only).	ACM Conference on Computer Science	1985	DBLP DOI BibTeX RDF
1	Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta	A Parallel Logic Simulator Based on Concurrent Prolog.	LP	1985	DBLP DOI BibTeX RDF
1	Heiko Krumm, Oswald Drobnik	Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.	PSTV	1984	DBLP BibTeX RDF
1	Gabriel M. Kuper, Moshe Y. Vardi	A New Approach to Database Logic.	PODS	1984	DBLP DOI BibTeX RDF
1	Dale Miller, Eve Longini Cohen, Peter B. Andrews	A Look at TPS.	CADE	1982	DBLP DOI BibTeX RDF