logging < logic < logical

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f

List of bibliographic references

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]

Ident.	Authors (with country if any)	Title
000411 (2010)	Isambo Karali [Grèce]	Modular Logic Programming for Web Data, Inheritance and Agents
000F58 (2008)	Ahmed Awad [Allemagne] ; Gero Decker [Allemagne] ; Mathias Weske [Allemagne]	Efficient Compliance Checking Using BPMN-Q and Temporal Logic
001074 (2007)	A. Rugnone [Italie] ; F. Poli [Italie] ; E. Vicario [Italie] ; C. D. Nugent [Royaume-Uni] ; E. Tamburini [Italie] ; C. Paggetti [Italie]	A Visual Editor to Support the Use of Temporal Logic for ADL Monitoring
001095 (2007)	Pedro Cabalar [Espagne] ; David Pearce [Espagne] ; Panos Rondogiannis [Grèce] ; William W. Wadge [Canada]	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation
001309 (2007)	Marcin Czenko [Pays-Bas] ; Sandro Etalle [Pays-Bas, Italie]	Core TuLiP Logic Programming for Trust Management
001503 (2006)	Peter Herrmann [Norvège]	Temporal Logic-Based Specification and Verification of Trust Models
001565 (2006)	Alan Rector [Royaume-Uni] ; Jeremy Rogers [Royaume-Uni]	Ontological and Practical Issues in Using a Description Logic to Represent Medical Concept Systems: Experience from GALEN
001725 (2006)	Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège] ; Rolv Br K [Norvège]	Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services
001740 (2006)	Jorge Garci A-Duque ; Marti N Lo Pez-Nores ; Jose J. Pazos-Arias ; Ana Ferna Ndez-Vilas ; Rebeca P. Di Az-Redondo ; Alberto Gil-Solla ; Yolanda Blanco-Ferna Ndez ; Manuel Ramos-Cabrer	A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications
001819 (2005)	Pedro Cabalar [Espagne] ; David Pearce [Espagne] ; Agustín Valverde [Espagne]	Reducing Propositional Theories in Equilibrium Logic to Logic Programs
001C95 (2004)	David Pearce [Espagne]	Simplifying Logic Programs Under Answer Set Semantics
001D44 (2004)	Frank Ciesinski [Allemagne] ; Marcus Grö Er [Allemagne]	On Probabilistic Computation Tree Logic
002056 (2003)	Francesca Toni [Royaume-Uni] ; Kostas Stathis [Royaume-Uni]	Access-as-you-need : A Computational Logic Framework for Accessing Resources in Artificial Societies
002301 (2003)	Cheun Ngen Chong [Pays-Bas] ; Sandro Etalle [Pays-Bas] ; Pieter H. Hartel [Pays-Bas]	Comparing Logic-Based and XML-Based Rights Expression Languages
002E54 (2000)	L. Ekenberg [Suède]	The logic of conflicts between decision making agents
002F95 (2000)	P. G Lee [États-Unis] ; R. N Lea [États-Unis] ; E. Dohmann [États-Unis] ; W. Prebilsky [États-Unis] ; P. E Turk [États-Unis] ; H. Ying [États-Unis] ; J. L Whitson [États-Unis]	Denitrification in aquaculture systems: an example of a fuzzy logic control problem
003C75 (1997)	Szilveszter Kovács [Hongrie] ; Lászl T. K Czy [Hongrie]	Application of the approximate fuzzy reasoning based on interpolation in the vague environment of the fuzzy rulebase in the fuzzy logic controlled path tracking strategy of differential steered AGVs
003F32 (1996)	Agata Wrzos-Kaminska [Norvège]	Partial evaluation in Constraint Logic Programming
004620 (1994)	John Yen [États-Unis] ; Nathan Pfluger [États-Unis]	Using fuzzy logic in a mobile robot path controller
004621 (1994)	Jan Komorowski [Norvège] ; Silvia Trcek [Norvège]	Towards refinement of definite logic programs
004B05 (1992)	Antonio M. Lopez Jr. ; Marguerite E. Saacks	Logic programming and metadata specifications

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Ticri/CIDE/explor/TelematiV1/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i -k "logic" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Title.i  \
                -Sk "logic" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Ticri/CIDE
   |area=    TelematiV1
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Title.i
   |clé=    logic
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024