가드 TGD를 사용한 질의 응답을 위한 더욱 엄격한 경계
본 논문에서는 가드 TGD(Tuple-Generating Dependencies)를 사용하여 불완전한 데이터 집합에 대한 질의 응답 문제의 복잡성을 분석하고, 특히 가드 원자의 arity와 사이드 시그니처의 arity를 구분하여 분석함으로써 기존 연구보다 더욱 엄격한 복잡도 경계를 제시합니다.
헝가리 큐브에 대한 강력한 관계의 일관성 증명
이 논문은 λ < µ = cf(µ) < ν = cf(ν) = 2µ일 때 헝가리 큐브 관계 ν µ λ → ν µ λ 의 일관성을 증명합니다.
코호몰로지 VC 차원: 경계 및 응용 - 고차원 조합론적 복잡성 측정
이 논문에서는 위상 공간에서 정의 가능한 부분 집합들의 집합의 복잡성을 측정하는 새로운 위상적 개념인 코호몰로지 VC 차원을 소개하고, 대수적으로 닫힌 체와 o-최소 구조를 포함한 다양한 모델 이론적 설정에서 이 차원에 대한 상한을 설정합니다.
궤도 유한 선형 프로그래밍: 결정 가능성 및 정수 프로그래밍으로의 확장
원자 순열에 대해 유한한 시스템인 궤도 유한 선형 프로그래밍은 실수 영역에서 결정 가능하지만, 정수 영역으로 확장하면 결정 불가능해진다.
범용 PDDL 도메인: 모든 계획 문제를 하나의 도메인으로 표현할 수 있을까?
본 논문에서는 모든 명제 논리 계획 문제를 단일한 "범용" PDDL 도메인의 인스턴스로 표현할 수 있음을 보여주지만, 이러한 표현은 문제의 크기를 잠재적으로 기하급수적으로 증가시키는 grounding을 필요로 하기 때문에 실용적이지 않을 수 있음을 주장합니다.
불만족성의 가장 짧은 증명을 찾는 방법: 분해 증명 길이 최소화를 위한 분기 한정 접근 방식
본 논문에서는 불만족스러운 명제 논리 공식에 대한 가장 짧은 분해 증명을 찾는 새로운 분기 한정 알고리즘을 제안합니다. 이 알고리즘은 증명의 계층 목록 표현, 증명 길이 하한을 추론하는 가지치기 절차, 절 하위 집합 및 지배 관계를 활용하여 최적화되었습니다.
고차원 오토마타를 위한 비시뮬레이션과 논리: 경로 비시뮬레이션의 논리적 특성화 및 다양한 비시뮬레이션 개념 간의 관계 탐구
본 논문에서는 고차원 오토마타(HDA)에서 경로 비시뮬레이션을 특징짓는 새로운 논리인 IPML(Ipomset Modal Logic)을 소개하고, IPML을 통해 경로 비시뮬레이션과 다른 비시뮬레이션 개념들 간의 관계를 명확히 밝힙니다.
단일 범주 내부 언어 이론: 다양한 토포스 클래스로의 확장 및 Coq를 이용한 형식화
본 논문에서는 단일 범주의 내부 언어 이론을 탐구하고, 이를 다양한 토포스 클래스로 확장하며, 증명 보조 도구 Coq를 사용하여 형식화합니다. 특히, 국소적으로 카테시안 닫힌 범주가 확장된 마틴-뢰프 유형 이론의 모델이 됨을 보여주고, 이러한 결과를 ∏-프리토포스 및 기본 토포스를 포함한 다양한 토포스 클래스로 일반화합니다.
무한 상태 반응형 합성을 위한 시간 논리 번역 (전체 버전)
본 논문에서는 무한 상태 반응형 합성 문제를 해결하기 위해 1차 논리 추론을 활용한 시간 논리 번역 기법을 제안합니다. 이 기법은 기존 방식과 달리 명세의 의미적 구조를 활용하여 더 효율적인 합성 게임을 생성하고, 이를 통해 성능을 향상시킵니다.
메트릭 구조 번들의 왼쪽 초함수로서의 표현
이 논문은 완전한 메트릭 구조의 초범주 특성을 탐구하여, 컴팩트한 하우스도르프 공간 X에서 T-모델 범주로의 왼쪽 초함수와 X에 대한 T-모델 번들의 새로운 개념 사이의 동등성을 보여줍니다.
© 2024 by Linnk AI