Foundations of Information and Knowledge Systems  4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings /  [electronic resource] : 
edited by Stephen J. Hegner. 
 - 1st ed. 2006. 
 - X, 331 p.  online resource. 
 - Information Systems and Applications, incl. Internet/Web, and HCI,  3861  2946-1642 ; .
 - Information Systems and Applications, incl. Internet/Web, and HCI,  3861 .
<br/><br/>Invited Presentation -- The Semijoin Algebra -- Regular Papers -- Equational Constraint Solving Via a Restricted Form of Universal Quantification -- Modeling the Evolution of Objects in Temporal Information Systems -- Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel -- Iterative Modification and Incremental Evaluation of Preference Queries -- On the Number of Independent Functional Dependencies -- Arity and Alternation: A Proper Hierarchy in Higher Order Logics -- Solving Abduction by Computing Joint Explanations: Logic Programming Formalization, Applications to P2P Data Integration, and Complexity Results -- The Nested List Normal Form for Functional and Multivalued Dependencies -- Axiomatising Functional Dependencies for XML with Frequencies -- Guarded Open Answer Set Programming with Generalized Literals -- Reasoning Support for Expressive Ontology Languages Using a Theorem Prover -- Consistency Checking Algorithms for Restricted UML Class Diagrams -- Some Contributions to the Minimum Representation Problem of Key Systems -- On Multivalued Dependencies in Fixed and Undetermined Universes -- Preference-Based Query Tuning Through Refinement/Enlargement in a Formal Context -- Processing Ranked Queries with the Minimum Space -- Hybrid Minimal Spanning Tree and Mixture of Gaussians Based Clustering Algorithm. 
<br/><br/><label>ISBN: </label>9783540317845 
<br/><br/><label>Standard No.: </label>10.1007/11663881  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Database management.<br/>Computer science.<br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Information storage and retrieval systems.<br/>User interfaces (Computer systems).<br/>Human-computer interaction.<br/>Artificial intelligence.<br/>Database Management.<br/>Computer Science Logic and Foundations of Programming.<br/>Discrete Mathematics in Computer Science.<br/>Information Storage and Retrieval.<br/>User Interfaces and Human Computer Interaction.<br/>Artificial Intelligence.
<br/><br/><label>LC Class. No.: </label>QA76.9.D3 
<br/><br/><label>Dewey Class. No.: </label>005.74